Teoretyczne informatyka independence

3

Czy P zawiera języki, których istnienie jest niezależne od PA lub ZFC? (Wiki społeczności TCS)

Odpowiedź: nieznana. Zadawane pytania są naturalne, otwarte i pozornie trudne; pytanie jest teraz wiki społeczności. Przegląd Pytanie ma na celu podzielenie języków należących do klasy złożoności - wraz z maszynami decyzyjnymi Turinga (TM), które akceptują te języki - na dwie uzupełniające się podklasy:PPP języki gnostyczne i bazy TM (które można …

14 cc.complexity-theory polynomial-time undecidability independence

1

Ile niezależności jest potrzebne do oddzielnego łączenia?

Jeśli kulek zostanie rozmieszczonych losowo w koszach równomiernie, w najbardziej obciążonym pojemniku znajdują się kulki z dużym prawdopodobieństwem. W „The Power of Simple Tabulation Hashing” Pătraşcu i Thorup wspominają, że „Chernoff-Hoeffding ogranicza się do aplikacji o ograniczonej niezależności” ( lustro ) pokazuje, że to ograniczenie populacji najbardziej obciążonego pojemnika utrzymuje …

13 ds.data-structures randomness hash-function independence

1

Obliczanie zamknięcia związku

Biorąc pod uwagę rodzinę najwyżej n podzbiorów { 1 , 2 , … , n } . Zamknięcie związek C jest inny zestaw rodziny C zawierający każdy zestaw, które mogą być skonstruowane poprzez związek 1 lub więcej grup w F . Przez | C | oznaczymy liczbę zestawów w C …

10 co.combinatorics graph-algorithms clique independence

Pytania otagowane jako independence