Sto cercando un riferimento per il seguente risultato: L'aggiunta di due numeri interi nella rappresentazione fattorizzata è difficile come il factoring di due numeri interi nella normale rappresentazione binaria. (Sono abbastanza sicuro che sia là fuori perché questo è qualcosa che mi ero chiesto ad un certo punto, e poi …
Sto prendendo in considerazione classi di grafici che possono essere caratterizzate da sottografi proibiti. Se una classe di grafi ha una serie finita di sottografi proibiti, allora c'è un banale algoritmo di riconoscimento del tempo polinomiale (si può semplicemente usare la forza bruta). Ma una famiglia infinita di sottografi proibiti …
Mi chiedo se ci sia qualche giustificazione per credere che o per credere che ?N L ≠ LNL = LNL=LNL=LNL ≠ LNL≠LNL\neq L È noto che . La letteratura sulla derandomization di è piuttosto convincente che . Qualcuno sa di alcuni articoli o idee che convincono che ? R L …
Se un problema è NP-hard (utilizzando riduzioni dei tempi polinomiali), ciò implica che è P-hard (utilizzando lo spazio del registro o riduzioni NC)? Sembra intuitivo che, se è difficile come qualsiasi altro problema in NP, dovrebbe essere altrettanto difficile di qualsiasi altro problema in P, ma non vedo come concatenare …
In La complessità computazionale dell'ottica lineare ( ECCC TR10-170 ), Scott Aaronson e Alex Arkhipov sostengono che se i computer quantistici possono essere simulati in modo efficiente dai computer classici, la gerarchia polinomiale crolla al terzo livello. Il problema motivante è il campionamento da una distribuzione definita da una rete …
Per verificare la mia comprensione, vorrei condividere alcuni pensieri sui requisiti energetici del calcolo. Questo è un seguito alla mia domanda precedente e potrebbe essere correlato alla domanda di Vinay sulle leggi di conservazione . Mi è venuto in mente che, da un punto di vista termodinamico, l'esecuzione di un …
Questa domanda è un seguito alla domanda sugli algoritmi del DNA posta da Aadita Mehra . Nei commenti lì, Joe Fitzsimmons ha detto, in parte: Il raggio del sistema deve ridimensionarsi proporzionalmente alla massa per evitarlo. La potenza computazionale si ridimensiona al massimo linearmente nella massa. Quindi la tua quantità …
Cosa si sa della complessità temporale del seguente problema, che chiamiamo 3-MUL? Dato un insieme di numeri interi, ci sono elementi tali che ?SSSnnna,b,c∈Sa,b,c∈Sa,b,c\in Sab=cab=cab=c Questo problema è simile al problema 3-SUM, che chiede se ci sono tre elementi tali che (o equivalentemente ). 3-SUM è ipotizzato per richiedere un …
Il teorema originale della gerarchia temporale non deterministica è dovuto a Cook (il collegamento è con S. Cook, una gerarchia per la complessità temporale non deterministica , JCSS 7 343–353, 1973). Gli stati teorema che per ogni numero reale r1r1r_1 e r2r2r_2 , se 1≤r1<r21≤r1<r21 \le r_1 \lt r_2 poi …
Scott Aaronson ha proposto una sfida interessante : oggi possiamo usare i supercomputer per aiutare a risolvere i problemi di CS nello stesso modo in cui i fisici usano grandi collettori di particelle? Più concretamente, la mia proposta è di dedicare parte della potenza di calcolo del mondo a un …
L'esatta formulazione del titolo è dovuta ad Anand Kulkarni (che ha proposto la creazione di questo sito). Questa domanda è stata posta come una domanda di esempio, ma sono follemente curioso. Conosco pochissimo la geometria algebrica, e in effetti hanno anche una comprensione superficiale e scapestrata degli ostacoli in gioco …
Stavo leggendo " Is P Versus NP Formally Independent? ", Ma sono rimasto perplesso. E 'opinione diffusa nella teoria della complessità che . La mia domanda è se ciò non fosse dimostrabile (diciamo in Z F C ). (Supponiamo che scopriamo solo che P ≠ N P è indipendente da …
Di recente, ho vissuto la dolorosa esperienza divertente di spiegare in modo informale il concetto di complessità computazionale a un giovane programmatore autodidatta di talento, che non aveva mai seguito un corso formale di algoritmi o complessità. Non sorprende che molte nozioni all'inizio sembrassero strane ma avevano senso con alcuni …
Il seguente problema è apparso di recente nella mia ricerca. Non essendo un esperto di domande algoritmiche ho cercato su Google ampiamente nella ricerca di problemi adeguati da cui ridurre. Non vedo come funzionerebbe 3SAT, e anche se ZOE è simile nello spirito una riduzione non è ovvia. Un'altra possibilità …
È noto che il seguente problema è completo di PSPACE: Data l'espressione regolare , L ( β ) = Σ ∗ ?ββ\betaL ( β) = Σ*L(β)=Σ∗L(\beta) = \Sigma^* Che ne dici di determinare l'equivalenza con altre espressioni regolari (fisse) ?αα\alpha Data l'espressione regolare , L ( β ) = L …
We use cookies and other tracking technologies to improve your browsing experience on our website,
to show you personalized content and targeted ads, to analyze our website traffic,
and to understand where our visitors are coming from.
By continuing, you consent to our use of cookies and other tracking technologies and
affirm you're at least 16 years old or have consent from a parent or guardian.