Informatica teorica reference-request

1

Il problema Not All Equal -SAT (NAE k -SAT), dato un set C di clausole su un set X di variabili booleane in modo tale che ogni clausola contenga al massimo k letterali, chiede se esiste un'assegnazione di verità delle variabili tale che ogni clausola contiene almeno un vero e …

23 cc.complexity-theory reference-request np-hardness polynomial-time

5

Curioso delle prove di completezza NP assistita da computer

Nell'articolo "LA COMPLESSITÀ DEI PROBLEMI DI SODDISFAZIONE" di Thomas J. Schaefer, l'autore ha menzionato che This raises the intriguing possibility of computer-assisted NP-completeness proofs. Once the researcher has established the basic framework for simulating conjunctions of clauses, the relational complexity could be explored with the help of a computer. The …

22 cc.complexity-theory reference-request soft-question reductions proof-assistants

3

Giustificare l'analisi asintotica nel caso peggiore per gli scienziati

Ho lavorato per introdurre alcuni risultati della complessità computazionale nella biologia teorica, in particolare evoluzione ed ecologia , con l'obiettivo di essere interessante / utile per i biologi. Una delle maggiori difficoltà che ho incontrato è quella di giustificare l'utilità dell'analisi asintotica del caso peggiore per i limiti inferiori. Esistono …

22 cc.complexity-theory reference-request big-picture application-of-theory worst-case

1

Unificazione ed eliminazione gaussiana

Qualcuno sa di riferimenti che spiegano con precisione la connessione tra l' algoritmo di unificazione e l'eliminazione gaussiana? Sono particolarmente interessato alla relazione tra sostituzioni triangolari e decomposizioni LU. Wayne Snyder e Jean Gallier menzionano questa analogia nel loro articolo, Unificazione di ordine superiore rivisitato: set completi di trasformazioni .

22 reference-request lo.logic

1

Tutte le grammatiche non ambigue possono essere analizzate in tempo lineare?

Quando ho armeggiato con l'analisi LR non canonica, ho escogitato un metodo di analisi (con tabelle di dimensioni infinite, che lo rende in qualche modo poco pratico ) in grado di analizzare esattamente le grammatiche non ambigue nel tempo , e mi chiedevo se fosse possibile fare meglio :O(n2)O(n2)O(n^2) Tutte …

22 reference-request fl.formal-languages time-complexity parsing context-free

4

Articoli sulla relazione tra complessità computazionale e geometria / topologia algebriche?

Mi chiedevo quali documenti avrei dovuto leggere per capire questa domanda Una connessione inaspettata ad altre aree della matematica come la geometria algebrica o la coomologia superiore. Forse anche un'area della matematica non ancora sviluppata. Forse qualcuno svilupperà una direzione completamente nuova per la matematica al fine di gestire la …

22 cc.complexity-theory reference-request gct algebraic-topology

3

Aggiungere numeri interi rappresentati dalla loro fattorizzazione è difficile come il factoring? Richiesta di riferimento

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 …

22 cc.complexity-theory reference-request time-complexity factoring encoding

3

Complessità del grado tensore su un campo infinito

Un tensore è una generalizzazione di vettori e matrici a dimensioni superiori e il rango di un tensore generalizza anche il rango di una matrice. Vale a dire, la posizione di un tensore TTT è il numero minimo di rango uno tensori che somma a TTT . Un vettore e …

22 ds.algorithms reference-request computability tensor-rank

1

C'è qualche giustificazione per credere che ?

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 …

22 cc.complexity-theory reference-request complexity-classes space-bounded

1

Flusso massimo con Ford-Fulkerson e DFS

Questa domanda riguarda la complessità temporale dell'algoritmo di flusso massimo Ford-Fulkerson quando si utilizza DFS per trovare percorsi di aumento. C'è un esempio ben noto che mostra che utilizzando DFS è possibile che sia necessario un numero lineare di iterazioni nel flusso massimo, vedere ad esempio la pagina di Wikipedia …

22 ds.algorithms reference-request max-flow

4

Ci sono problemi senza algoritmi efficienti, in cui i teoremi di esistenza hanno dimostrato che tali algoritmi devono esistere?

Ci sono problemi in CS in cui non sono noti algoritmi efficienti, nonostante esistano teoremi che dimostrano l'esistenza di algoritmi così efficienti? Come si chiamano questi problemi? Dove posso saperne di più?

22 ds.algorithms reference-request terminology

3

Fonte educativa o indagine sull'analisi del programma semidefinito?

Quando si progettano algoritmi di approssimazione, a volte si risolve un programma semidefinito seguito da una fase di arrotondamento. Un esempio spesso usato per illustrare questo è Max-Cut. (Vedi ad esempio algoritmi di approssimazione di Vijay Vazirani.) Esistono buone fonti educative o sondaggi che vanno oltre il problema di Max-Cut …

22 ds.algorithms reference-request approximation-algorithms semidefinite-programming csp

7

Trovare vertici gemelli nei grafici

Sia un grafico. Per un vertice , definire sia la (aperta) in zona di in . Cioè, . Definire due vertici in per essere gemelli se e hanno lo stesso insieme di vicini, ovvero se .x ∈ V N ( x ) x G N ( x ) = { …

22 ds.algorithms reference-request graph-algorithms

2

È possibile trascurare il costo di GC quando si analizza il tempo di esecuzione delle strutture di dati nel caso peggiore specificate in un linguaggio di programmazione raccolto in modo inutile?

Ho appena capito che ho assunto la risposta alla mia domanda è "sì", ma non ho una buona ragione. Immagino che forse esista un garbage collector che introduce in modo dimostrabile solo il rallentamento del caso peggiore di . C'è un riferimento definitivo che posso citare? Nel mio caso sto …

22 reference-request ds.data-structures pl.programming-languages functional-programming

6

Introduzione alla teoria dei grafi spettrali

Quali sono i riferimenti di base? Esistono sondaggi di alto livello su SGT e le sue applicazioni in CS in generale e sull'apprendimento automatico in modo più specifico?

22 reference-request spectral-graph-theory

Domande taggate «reference-request»