W Intuitionistycznej teorii typów: część predykcyjna Martina-Löfa udowodniono, że sprawdzanie typówa : Aa:Aa \colon Apodlega rozstrzygnięciu z zastrzeżeniemzaaaprzede wszystkim do pisania , poprzez udowodnienie twierdzenia o normalizacji dla zamkniętych terminów do pisania. Z drugiej strony...
Jakie są najbardziej znane asymptotyczne górne granice wielkości dowodów probabilistycznie sprawdzalnych? Idealnie szukam współczesnej ankiety dotyczącej tego szerokiego pytania, ale jeśli jej nie ma, szczególnie interesuje mnie niedopuszczalność 3-SAT. Niech 7/8 + ε-3-SAT będzie 3-SAT z...
W [1] Garey i in. określić, co później będzie znane jako problem sumy pierwiastków kwadratowych w trakcie opracowywania kompletności NP euklidesowej TSP. Podane liczby całkowite a1,a2,…,ana1,a2,…,ana_1, a_2, \ldots, a_n i LLLokreśl, czy a1−−√+a2−−√+⋯+an−−√<La1+a2+⋯+an<L\sqrt{a_1} +...
Podczas wprowadzania modularnego rozkładu grafów większość autorów używa wykresu 11-wierzchołkowego, który kopiuję z wikipedii. Pytanie brzmi, kto jest (są) jego oryginalnymi projektantami. (Nie pytam, kto narysował ten wykres dla wikipedii, ale oryginalne źródło.) Strona wikipedia została...