Branchen & Business

EFF nicht annäherbar: 255 Agenten und 764 Aufgaben ohne 1,00001-fache gerechte Aufteilung, formal in Lean 4 verifiziert

1 Min. Lesezeit Kalina

Bilanz der Quelle: Ein neues Forschungsartikel analysiert die Approximierbarkeit von envy-free-up-to-any-item-Aufteilungen für unteilbare Aufgaben mit komplementfreien Kostenfunktionen. Das Hauptergebnis ist eine Instanz mit 255 Agenten und 764 Aufgaben, in der keine alpha-EFX-Aufteilung existiert, wenn alpha zwischen 1 und 2 liegt.
🔗 Im Original weiterlesen → · 🗃 Wayback Machine (Archiv)

ℹ️ KI-Hinweis
Die Inhalte dieses Artikels wurden automatisiert mittels Künstlicher Intelligenz generiert. Die zugrundeliegenden Daten stammen von arxiv.org. Es erfolgte keine manuelle redaktionelle Bearbeitung.

Mehr aus Branchen & Business