Scienza del computer reference-request

2

Richiesta di riferimento: teoria delle categorie in quanto si applica ai sistemi di tipi

Continuo a sentire come si deve imparare la teoria delle categorie per comprendere veramente la teoria del linguaggio di programmazione. Finora ho appreso molti PL senza mai entrare nel regno delle categorie. Tuttavia, ho pensato che fosse tempo di fare il salto per vedere cosa mi mancava. Sfortunatamente, nessuna delle …

13 reference-request programming-languages type-theory category-theory

4

Il problema dell'isomorfismo grafico è stato risolto?

La pagina del problema dell'isomorfismo del grafico di Wikipedia sembra indicare che, no, non è stata risolta. Tuttavia, un mio amico ha sottolineato A Polynomial Time Algorithm for Graph Isomorphism . Non sono abbastanza sofisticato da seguire il ragionamento nel documento. Ho il mio tentativo molto approssimativo di un algoritmo …

13 complexity-theory reference-request time-complexity graph-isomorphism

4

Teoremi di ponte per la teoria dei gruppi e i linguaggi formali

Esiste un modo naturale o notevole per mettere in relazione o collegare gruppi matematici e linguaggi formali CS o qualche altro concetto CS centrale, ad esempio le macchine di Turing? Sto cercando riferimenti / applicazioni. Tuttavia, sono consapevole del legame tra i semigruppi e le lingue CS (vale a dire …

13 formal-languages reference-request automata discrete-mathematics group-theory

3

Qual è l'origine del modello di server client?

Mi chiedevo se qualcuno conoscesse l'origine del modello di server client. Da dove viene il termine (carta, applicazione software, libro)?

13 terminology reference-request distributed-systems history

2

Restrizioni accettabili del problema post corrispondenza

Il problema post corrispondenza (PCP) è indecidibile. La versione limitata del PCP è e la versione contrassegnata del PCP (le parole di una delle due liste devono differire nella prima lettera) è in P S P A C E [1].N PNP\mathrm{NP}P S P A C EPSPUNCE\mathrm{PSPACE} Queste versioni riservate vengono …

13 complexity-theory computability reference-request

1

A che serve trovare un numero minimo di rette per coprire una serie di punti?

C'è quel problema popolare [1] [2] nell'informatica che sta trovando il numero minimo di linee rette che copre un determinato insieme di punti in 2D. Anche se ho scannerizzato molti documenti, nessuno di essi ha una chiara motivazione per il problema. A che serve risolvere questo problema? C'è un documento …

12 reference-request computational-geometry applied-theory

1

Quale problema NP-Complete ha l'algoritmo più veloce conosciuto?

In termini di runtime asintotico nel caso peggiore, quale problema NP-completo ha l'algoritmo (esatto) più veloce conosciuto e qual è l'algoritmo? È noto qualcosa che è più veloce di ?O ( n2∗ 2n)O(n2∗2n)O(n^2*2^n)

12 algorithms reference-request np-complete

3

Risolutore SAT multicore

Sto cercando di risolvere un problema SAT con 25k clausole 5k variabili. Dato che funziona da un'ora (precosat) e vorrei risolverne di più grandi in seguito, sto cercando un solutore SAT multi-core. Dato che sembrano esserci molti solutori di SAT, sono abbastanza perso. Qualcuno potrebbe indicarmi il migliore per il …

12 algorithms reference-request parallel-computing sat-solvers

2

Esiste una definizione CS formale di VCS e versioni dei file?

Non so se fosse uno scherzo, ma una volta ho letto quella che è stata definita una definizione formale di un file in un sistema di controllo delle versioni come git, hg o svn. Era qualcosa di simile a un oggetto matematico come un omeomorfismo. Era uno scherzo o esiste …

12 terminology reference-request

2

Qual è la complessità del problema di vuoto per i DFA a 2 vie?

Mi chiedo, qual è la complessità temporale nel determinare il vuoto per i DFA a 2 vie? Cioè, automi finiti che possono spostarsi all'indietro sul nastro di input di sola lettura. Secondo Wikipedia, sono equivalenti ai DFA, sebbene il DFA equivalente potrebbe essere esponenzialmente più grande. Ho trovato la complessità …

12 complexity-theory formal-languages reference-request automata finite-automata

1

Strumento di prototipazione della semantica del linguaggio di programmazione

Esiste uno strumento per la prototipazione di una semantica del linguaggio di programmazione e di un sistema di tipi che consenta anche una sorta di controllo del modello delle proprietà standard, come la solidità del tipo? Lo sto chiedendo, perché sto leggendo un libro su Alloy e fornisce l'esatta funzionalità …

11 reference-request programming-languages semantics model-checking

1

Un problema NP-hard può essere in media polinomiale?

Mi chiedo se ci siano problemi di -hard che sono `` polinomiali '' nel caso medio. Penso che ci siano due modi per interpretarlo?NPNPNP Se , può esserci un algoritmo che risolve un -hard con tempo di esecuzione ammortizzato (caso medio) di per una costante ?P≠ NPP≠NPP \neq NPNPNPNPO ( …

11 complexity-theory reference-request np-complete probabilistic-algorithms amortized-analysis

3

Libro introduttivo su Logica e calcolo

Puoi darmi qualche suggerimento su un buon libro introduttivo (ma completo) su Logica e calcolo? Alcuni argomenti sfocati che ho in mente sono: Presburger artihm., PA, ZF, ZFC, HOL Teoria degli insiemi, teoria dei tipi Calcolo di modelli (macchine di Turing) in diverse teorie Collegamenti con complessità computazionale (FMT, complessità …

11 reference-request logic books

1

Perché tutti i problemi in FPTAS sono anche in FPT?

Secondo l'articolo di Wikipedia sugli schemi di approssimazione dei tempi polinomiali : Tutti i problemi in FPTAS sono tracciabili a parametri fissi. Questo risultato mi sorprende: queste classi sembrano completamente diverse l'una dall'altra. FPTAS caratterizza i problemi in base alla loro facilità di approssimazione, mentre FPT caratterizza i problemi in …

11 complexity-theory reference-request approximation parameterized-complexity

2

Pianificazione dei lavori con un collo di bottiglia

Dato lavori J 1 , J 2 , . . . , J n , ogni lavoro richiede T i > 0 , T i ∈ N tempo per il completamento.nnnJ1, J2, . . . , JnJ1,J2,...,JnJ_1,J_2,...,J_nTio> 0 , Tio∈ NTio>0,Tio∈NT_i > 0, T_i \in N Ogni lavoro deve essere …

11 complexity-theory reference-request scheduling

Domande taggate «reference-request»