To interesujące i nieco zabawne pytanie, ale w obecnej formie jest źle sformułowane.
Podejmę kolejne dźgnięcie / ryzyko przy odpowiedzi, mając nadzieję, że punktacja weźmie pod uwagę pierwotną trudność i podstawową / nieodłączną „miękką” dwuznaczność pytania i że w oparciu o aktualną wiedzę z literatury istnieje kilka możliwych dróg, ale prawdopodobnie nie „poprawna odpowiedź” „.
Głównym pytaniem wydaje się być „analogia fizyki w informatyce”, której tom jest jednym z nich. Dlatego jest to ściśle związane z tym drugim pytaniem
Wyniki fizyki w TCS?
Aby odpowiedzieć na to pytanie, przyjmuję kilka różnych podejść, które moim zdaniem mają wartość.
po pierwsze, jednym podejściem stosowanym czasami w dziedzinie fizyki i inżynierii jest
„analiza wymiarowa”.
W tym przypadku ściśle interpretowana objętość jest w jednostce „spacja” lub „długość w kostce”. (Chociaż uwaga w fizyce jest czasami określana jako „przestrzeń” mierzona albo w kategoriach długości, albo długości w kostkach).
O ( n3))
O ( n3))
O ( ndo)
Inne podejście do analogii objętości (i innych wielkości fizycznych) w TCS jest następujące, jak omówiono w innym pytaniu. Wiadomo, że SAT ma punkt przejścia niezwykle analogiczny do punktu przejścia w fizyce / termodynamice, co dzieje się np. Przy idealnych gazach pod ciśnieniem z jednej fazy do drugiej, np. Gaz do cieczy. Dzieje się tak przy spadku objętości (powiedzmy o zbiorniku gazu). Teraz w SAT z losowymi wejściami głównymi dwoma parametrami wielkości wejściowej są klauzule i zmienne. (Kolejnym parametrem jest liczba zmiennych w klauzulach, chociaż często jest to ustalone na 3 dla 3-SAT.)
Dostosowanie klauzul lub zmiennych przy jednoczesnym zachowaniu drugiej stałej przepycha trudność problemu przez łatwy-trudny-łatwy punkt przejścia. Dlatego wydaje się, że parametry te są w jakiś sposób analogiczne do Volume, chociaż nie widziałem odwzorowania szczegółów. Zagłębiając się w niektóre z głębokich artykułów na temat fizyki statystycznej SAT, można podnieść analogię do tomu. Zobacz [5], aby zapoznać się z podstawowym mapowaniem SAT na terminologię fizyki statystycznej.
[5] Analityczne i algorytmiczne rozwiązanie problemów losowej satysfakcji autorstwa Mezarda, Parisi, Zechiny
http://dynamics.org/Altenberg/UH_ICS/EC_REFS/K-SAT/Mezard.Science.297_812.pdf
lp
l3)p