Archiv článků: splnitelnost

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 …