Archiv článků: splnitelnost

Dostat víc lidí v jeden čas na jedno místo (alespoň on-line), to samozřejmě nemusí být jen tak. Jaká matematika tuto situaci popisuje? Zdálo by se, že jde prostě o problém splnitelnosti (satisfiability), který se nejčastěji ilustruje na množině dodatečných podmínek v případě rozsazení na večírku. X nechce vedle Y, Y …

90 let starý problém z oblasti geometrie padl díky speciálnímu nasazení algoritmu, který převedl matematickou otázku na problém splnitelnosti. Kellerova domněnka spadá do kategorie populárních problémů dláždění. Otázka zní, zda rovinu můžeme pokrýt jedním typem dlaždic, aniž by se překrývaly jejich hrany (viz obrázek pro čtverce; jindy se problém formuluje …

Co vlastně znamená titulek převzatý z původní tiskové zprávy? Prolomení patří do uvozovek, v podstatě má jít o to, že optimalizační kvantový algoritmus QAOA (quantum approximate optimization algorithm) má své limity a u určitých typů úloh se jeho výsledky podstatně liší od správného řešení, skutečných maxim/minim. Snad si to můžeme …