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.

Kalina Digest unterstützen

Lesen bleibt frei. Wer mag, gibt etwas zurück — ab 1 € einmalig, oder als Stufe für einen Monat, ein Quartal oder ein Jahr. Bisher: 5.00 € aus 1 Beiträgen.

Zum Shop →