Informatica teorica reference-request

4

Perché il problema del consenso è così importante nel calcolo distribuito?

Nel calcolo distribuito, il problema del consenso sembra essere uno degli argomenti centrali che ha attratto un'intensa ricerca. In particolare, l'articolo "Impossibilità di un consenso distribuito con un processo difettoso" ha ricevuto il PODC Influential Paper Award 2001 . Quindi perché il problema del consenso è così importante? Cosa possiamo …

19 reference-request big-picture dc.distributed-comp

3

Complessità nel decidere se una matrice è totalmente regolare

Una matrice è chiamata totalmente regolare se tutte le sue matrici quadrate hanno il grado completo. Tali matrici sono state utilizzate per costruire superconcentratori. Qual è la complessità nel decidere se una data matrice è totalmente regolare rispetto ai razionali? Su campi finiti? Più in generale, chiama una matrice totalmente …

19 cc.complexity-theory reference-request linear-algebra matrices

2

Calcolo della costante di Cheeger: fattibile per quali classi?

Il calcolo della costante di Cheeger di un grafico , noto anche come costante isoperimetrica (poiché è essenzialmente un rapporto area / volume minimo), è noto per essere NP-completo. Generalmente è approssimato. Sono interessato a sapere se sono noti algoritmi polinomiali esatti per classi speciali di grafici. Ad esempio, è …

19 ds.algorithms reference-request graph-algorithms

4

Complessità computazionale nella finanza quantitativa

Prevedere il mercato azionario è difficile! TCS può rendere questo sentimento più formale? Di recente ho iniziato a pensare un po 'alla finanza e mi chiedevo come potesse essere utile la conoscenza di TCS. Gli hedge fund e le società di investimento sembrano utilizzare continuamente il trading algoritmico, il machine …

19 cc.complexity-theory reference-request survey ce.computational-finance algorithmic-lens

11

Modelli di grafici casuali, per reti di computer reali

Sono interessato a modelli di grafici casuali che sono simili ai grafici delle reti di computer reali. Non sono sicuro che il modello comune ben studiato ( n vertici, ogni possibile fronte sia selezionato con probabilità p ) sia buono per studiare reti informatiche reali (vero?).G(n,p)G(n,p)G(n,p)nnnppp quali modelli di grafici …

19 reference-request graph-theory co.combinatorics

3

Quali algoritmi sono noti per il calcolo degli interpolanti Craig?

Esiste un sondaggio sugli algoritmi per gli interpolanti informatici? Che dire dei documenti su un solo algoritmo? Il caso che mi interessa di più è e , più il vincolo che l'interpolante è il più piccolo possibile. (Conosco il documento di McMillan del 2005 , che descrive come ottenere interpolanti, …

19 reference-request lo.logic proof-complexity feasible-interpolation

2

Le congetture di vecchia data in seguito hanno banalmente dimostrato un'implicazione

Mi piacerebbe sapere se ci sono state congetture che sono state a lungo non dimostrate nel TCS, che sono state successivamente dimostrate da un'implicazione da un altro teorema, che potrebbe essere stato più facile da dimostrare.

18 reference-request soft-question big-list

2

Problemi con una soluzione efficiente ad eccezione di una piccola parte degli input

Il problema di arresto per le macchine di Turing è forse l'insieme canonico indecidibile. Tuttavia, dimostriamo che esiste un algoritmo che decide quasi tutte le sue istanze. Il problema di arresto è quindi tra la crescente raccolta di coloro che esibiscono il fenomeno del "buco nero" della teoria della complessità, …

18 cc.complexity-theory reference-request computability undecidability

7

Libri / Dispense sulla complessità parametrizzata

Vorrei conoscere la complessità parametrizzata (sia sul lato algoritmico che sul lato durezza). Quali libri / appunti di lezione posso leggere su questo argomento?

18 reference-request parameterized-complexity fixed-parameter-tractable

5

È possibile verificare se un numero calcolabile è razionale o intero?

È possibile testare algoritmicamente se un numero calcolabile è razionale o intero? In altre parole, sarebbe possibile per una libreria che implementa numeri calcolabili fornire le funzioni isIntegero isRational? Immagino che non sia possibile e che ciò sia in qualche modo correlato al fatto che non è possibile verificare se …

18 computability computing-over-reals lambda-calculus graph-theory co.combinatorics cc.complexity-theory reference-request graph-theory proofs np-complete cc.complexity-theory machine-learning boolean-functions combinatory-logic boolean-formulas reference-request approximation-algorithms optimization cc.complexity-theory co.combinatorics permutations cc.complexity-theory cc.complexity-theory ai.artificial-intel p-vs-np relativization co.combinatorics permutations ds.algorithms algebra automata-theory dfa lo.logic temporal-logic linear-temporal-logic circuit-complexity lower-bounds permanent arithmetic-circuits determinant dc.parallel-comp asymptotics ds.algorithms graph-theory planar-graphs physics max-flow max-flow-min-cut fl.formal-languages automata-theory finite-model-theory dfa language-design soft-question machine-learning linear-algebra db.databases arithmetic-circuits ds.algorithms machine-learning ds.data-structures tree soft-question security project-topic approximation-algorithms linear-programming primal-dual reference-request graph-theory graph-algorithms cr.crypto-security quantum-computing gr.group-theory graph-theory time-complexity lower-bounds matrices sorting asymptotics approximation-algorithms linear-algebra matrices max-cut graph-theory graph-algorithms time-complexity circuit-complexity regular-language graph-algorithms approximation-algorithms set-cover clique graph-theory graph-algorithms approximation-algorithms clustering partition-problem time-complexity turing-machines term-rewriting-systems cc.complexity-theory time-complexity nondeterminism

2

Ricostruzione di un albero dalle query di separazione

Supponiamo che sia un albero a grado costante di cui non conosciamo la struttura. Il problema è di generare l'albero chiedendo domande del modulo: "Il nodo giace sul percorso dal nodo al nodo ?". Supponiamo che un oracolo possa rispondere a ogni query in tempo costante. Conosciamo il valore di …

18 ds.algorithms reference-request graph-algorithms oracles query-complexity

3

Determinante modulo m

Quali sono gli algoritmi efficienti noti per calcolare un determinante di una matrice intera con coefficienti in , l'anello di residui modulo . Il numero potrebbe non essere primo ma composito (quindi i calcoli vengono eseguiti in anello, non in un campo). mmZmZm\mathbb{Z}_mmmmmmm Per quanto ne so (leggi sotto), la …

18 ds.algorithms reference-request linear-algebra comp-number-theory

2

Usi di XORification

XORification è la tecnica per rendere più difficile una funzione o una formula booleana sostituendo ogni variabile con lo XOR di k ≥ 2 variabili distinte x 1 ⊕ … ⊕ x k . xxxk≥2k≥2k\geq 2x1⊕…⊕xkx1⊕…⊕xkx_1 \oplus \ldots \oplus x_k Sono a conoscenza degli usi di questa tecnica nella complessità …

18 cc.complexity-theory reference-request boolean-functions proof-complexity

4

Teorema automatizzato che dimostra in logica lineare

Il teorema automatico dimostra e ricerca di prove è più facile nelle logiche strutturali secondarie e proposizionali che mancano di contrazione? Dove posso leggere di più sulla dimostrazione del teorema automatico in queste logiche e sul ruolo della contrazione nella ricerca di prove?

18 reference-request lo.logic survey automated-theorem-proving linear-logic

3

Perché la ricerca sull'ipercomputazione è venuta meno?

Vedo molte ricerche sull'ipercomputazione negli anni '90, ma negli anni più recenti sembra esserci poco lavoro sull'argomento. È vero che la ricerca in questo settore è decaduta? In tal caso, quali potrebbero essere le ragioni? Quest'area è stata dimostrata in modo convincente poco promettente?

18 reference-request computability hypercomputation

Domande taggate «reference-request»