Teoretyczne informatyka terminology

2

Co oznacza „gadżet” w redukcji twardej NP?

To pytanie może nie mieć charakteru technicznego. Jako nie-native speaker i TA dla klasy algorytmów zawsze zastanawiałem się, co oznacza gadżet w „gadżet klauzulowy” lub „gadżet zmienny”. Słownik mówi, że gadżet jest maszyną lub urządzeniem, ale nie jestem pewien, co to kolokwialne znaczenie ma w kontekście dowodu NP-zupełnego.

11 cc.complexity-theory np-hardness terminology reductions

2

Wykres izomorfizm z relacją równoważności na zbiorze wierzchołków

Kolorowy wykres można opisać jako krotkę (G,c)(G,c)(G,c)gdzie jest wykresem, a jest kolorem. Mówi się, że dwa kolorowe wykresy i są izomorficzne, jeśli istnieje izomorfizm prawy tak, że przestrzegane jest zabarwienie, tj. dla wszystkich .GGGc:V(G)→Nc:V(G)→Nc : V(G) \rightarrow \mathbb{N}(G,c)(G,c)(G,c)(H,d)(H,d)(H,d)π:V(G)→V(H)π:V(G)→V(H)\pi : V(G) \rightarrow V(H)c(v)=d(π(v))c(v)=d(π(v))c(v) = d(\pi(v))v∈V(G)v∈V(G)v \in V(G) Pojęcie to oddaje izomorfizm …

9 terminology graph-isomorphism equivalence

1

Złożoność rodzaju ślepego?

Wszyscy wiemy, że minimalną złożonością algorytmu sortowania opartego na porównaniu są porównania . Próbuję wykonać sortowanie w ciemno , tzn. Biorąc pod uwagę liczbę wyjdź z obwodu (z bramkami logicznymi, arytmetycznymi i „porównawczymi”), który sortuje listę elementów.Ω ( n logn )Ω(nlog⁡n)\Omega(n \log n)nnnnnn Wstępne obliczanie wszystkich porównań select 2},(n2))(n2)){n \choose …

9 cc.complexity-theory terminology sorting

2

Maksymalizacja sumarycznych wag krawędzi

Zastanawiam się, czy następujący problem ma nazwę lub wyniki z nim związane. Niech będzie wykresem ważonym, gdzie oznacza wagę krawędzi między i , a dla wszystkich , . Problem polega na znalezieniu podzbioru wierzchołków, który maksymalizuje sumę wag sąsiadujących z nimi krawędzi: Zauważ, że liczę krawędzie, które są wewnątrz podzbioru …

9 reference-request graph-theory approximation-algorithms terminology approximation-hardness

Pytania otagowane jako terminology