Zliczanie liczby idealnych dopasowań na wykresie dwustronnym można natychmiast zredukować do obliczenia wartości stałej. Ponieważ znalezienie idealnego dopasowania na grafie dwustronnym występuje w NP, istnieje pewna redukcja z grafów dwustronnych do stałych, ale może to wiązać się z nieprzyjemnym...
W świetle niedawnej otchłani na głębokości 3 wynik (który między innymi daje głębokości 3 arytmetyczna obieg donxndeterminant naC) I mają następujące pytania: Grigoriev i Karpińskiokazałosię2omów(n)dolna granica dla każdego arytmetyczna obwodu głębokości-3 obliczeniowej wyznacznikanxnmacierze nad...
1- Czy są jakieś szczególne właściwości macierzy przylegania, gdy wykres jest płaski? 2- Czy jest coś specjalnego do obliczania stałej macierzy przylegania, gdy wykres jest
Wikipedia podaje przykłady problemów, w których liczenie wersji jest trudne, natomiast wersja decyzyjna jest łatwa. Niektóre z nich liczą doskonałe dopasowania, licząc liczbę rozwiązań SAT i liczbę sortowań topologicznych.222 Czy są jeszcze jakieś inne ważne klasy (powiedzmy przykłady z sieci,...
Czy możliwe jest algorytmiczne testowanie, czy liczba obliczalna jest liczbą wymierną czy całkowitą? Innymi słowy, możliwe byłoby dla biblioteki, który implementuje numery obliczalne, aby zapewnić funkcje isIntegerlub isRational? Zgaduję, że nie jest to możliwe i że jest to w jakiś sposób związane...
Załóżmy, że otrzymujemy macierz n przez n, M, z wpisami liczb całkowitych. Czy możemy zdecydować w P, czy istnieje permutacjaσσ\sigma taka, że dla wszystkich permutacji mamy ?π≠ σπ≠σ\pi\ne\sigmaΠ Mi σ( i )≠ Õ Mi π( i )ΠM.jaσ(ja)≠ΠM.jaπ(ja)\Pi M_{i\sigma(i)}\ne \Pi M_{i\pi(i)} Uwagi Oczywiście...
Jest to kontynuacja tego pytania i jest związana z tym pytaniem Shivy Kinali. Wydaje się, że dowody w tych dokumentach ( Allender , Caussinus-McKenzie-Therien-Vollmer , Koiran-Perifel ) używają twierdzeń hierarchicznych. Chcę wiedzieć, czy dowody są „ czystymi ” twierdzeniami o diagonalizacji, czy...
W pracy Ben-Dor / Halevi [1] podano kolejny dowód na to, że stały jest -kompletny. W dalszej części artykułu pokazano łańcuch redukcji IntPerm ∝ NoNegPerm ∝ 2PowersPerm ∝ 0/1-Perm, podczas gdy wartość stała jest zachowana wzdłuż łańcucha. Ponieważ liczba satysfakcjonujących przypisań wzoru 3SAT...
Jednym z głównych problemów w TCS jest problem wyrażania stałego jako wyznacznika. Czytałem artykuł Agrawala Determinant vs. Permanent i w jednym akapicie twierdzi, że odwrotny problem jest łatwy. Łatwo jest zauważyć, że wyznacznikiem macierzy można wyrazić jako stałe powiązanego macierzy X ,...
Rozważmy następujący problem: biorąc pod uwagę macierz M∈{−m,…,0,…,m}n×nM∈{−m,…,0,…,m}n×nM\in\{-m,\dots,0,\dots,m\}^{n\times n} , indeksy i,j∈{1,…,n}i,j∈{1,…,n}i,j\in\{1,\dots,n\} i liczbę całkowitą aaa . Wymienić M[i,j]M[i,j]M[i,j] przez i wywołać nowa macierz M . Czy p e r ( M ) > paaaM^M^\hat...
Niech będzie macierzą lub z wpisami . Czy ktoś może mi dostarczyć macierz , aby ? Jaki jest najmniejszy znany jawny B , taki że \ operatorname {per} (A) = \ det (B) ? Wszelkie odniesienia do tego z wyraźnymi przykładami?AZAA3×33)×3)3 \times 34×44×44 \times
Algorytm Berkowitza zapewnia obwód wielomianowy o głębokości logarytmicznej do wyznaczania macierzy kwadratowej z wykorzystaniem mocy macierzy. Algorytm domyślnie wykorzystuje anulowanie. Czy anulowanie jest niezbędne do uzyskania obwodu wielomianowego o głębokości logarytmicznej lub liniowej w...