Informatica teorica

2

Elenchi di differenze nella programmazione funzionale

La domanda Cosa c'è di nuovo nelle strutture di dati puramente funzionali da Okasaki? e l'epica risposta di jbapple, menzionata usando liste di differenze nella programmazione funzionale (al contrario della programmazione logica), che è qualcosa che mi ha interessato di recente. Questo mi ha portato a trovare l' implementazione delle …

13 reference-request ds.data-structures pl.programming-languages functional-programming logic-programming

3

Il problema del riconoscimento a 3 sfere è NP-completo?

È noto che determinare se una data 3 varietà triangolata sia o meno una 3 sfera si trova in NP, tramite il lavoro di Saul Schleimer nel 2004: "Il riconoscimento della sfera si trova in NP" arXiv: math / 0407047v1 [math.GT] . Mi chiedo se questo è stato stabilito per …

13 cc.complexity-theory reference-request open-problem topology

1

Richiesta di riferimento: minimizzazione sottomodulare e funzioni booleane monotone

Background: nell'apprendimento automatico, spesso lavoriamo con modelli grafici per rappresentare funzioni di densità di probabilità ad alta dimensione. Se scartiamo il vincolo che una densità integra (sommando) a 1, otteniamo una funzione energetica strutturata con grafi non normalizzata . Supponiamo di avere una tale funzione energetica, , definita su un …

13 reference-request machine-learning lg.learning boolean-functions

1

La dimensione del testimone è già nota per ogni lingua NP?

La domanda mi è venuta in mente quando ho ricevuto la risposta di Dana Moshkovitz a un altro argomento . Sia LLL un linguaggio NP e sia RLRLR_L la rispettiva relazione NP . Sappiamo che esiste un polinomio ppp tale che: ∀x∈L,,∃w∈0,1p(|x|)(x,w)∈RL∀x∈L,,∃w∈0,1p(|x|)(x,w)∈RL\forall x \in L, \\, \exists w \in \\{0,1\\}^{p(|x|)} …

13 cc.complexity-theory np

2

complessità della comunicazione multipartitica di "Set Partition problem"

In un'applicazione che sto prendendo in considerazione, devo conoscere la complessità della comunicazione del seguente problema: Dato , sia S l'insieme di numeri interi compresi tra 1 e n . Alice, Bob, e Carol ognuno riceve un sottoinsieme di S , indicato con A , B , e C , …

13 cc.complexity-theory communication-complexity

2

Semplice prova del limite peggiore di Ω (n lg n) per unicità / distinzione?

Esistono diverse prove per il limite inferiore loglineare per il problema dell'unicità / distinzione degli elementi (basato su alberi di calcolo algebrici o argomenti contraddittori), ma ne sto cercando uno abbastanza semplice da utilizzare in un primo corso di analisi e progettazione di algoritmi. Lo stesso "livello di difficoltà" del …

13 cc.complexity-theory lower-bounds proofs

2

Soluzioni di conteggio delle formule Monotone-2CNF

Una formula Monotone-2CNF è una formula CNF in cui ogni clausola è composta esattamente da 2 letterali positivi. Ora, ho una formula Monotone-2CNF FFF. Sia SSS l'insieme dei compiti soddisfacenti di FFFHo anche un oracolo OOO che è in grado di fornire le seguenti informazioni: La cardinalità dell'insieme SSS (ovvero …

13 cc.complexity-theory ds.algorithms sat counting-complexity

1

"È una permutazione p un automorfismo di un grafico nel mio set?" NP-completo?

Supponiamo di avere un insieme S di grafici (grafici finiti, ma un numero infinito di essi) e un gruppo P di permutazioni che agisce su S. Istanza: A permutazione p in P. Domanda: esiste un grafico g in S che ammette l'automorfismo p? Questo problema NP è completo per alcuni …

13 cc.complexity-theory graph-theory np-hardness automorphism

2

Verifica se una serie di n punti nel piano formano un poligono n convesso nel tempo o (nlogn)

Supponiamo che ti venga dato un insieme di n punti nel piano e desideri verificare se formano un poligono n convesso, cioè se si trovano tutti sullo scafo convesso. Mi chiedevo se qualcuno sapesse come farlo in o (nlogn) tempo, cioè senza calcolare il CH.

13 cg.comp-geom

3

Algoritmi paralleli per la connettività st diretta

Chong, Han e Lam hanno dimostrato che la connettività st non indirizzata può essere risolta sulla PRAM EREW nel tempo con processori O ( m + n ) . Qual è l'algoritmo parallelo più noto per la connettività st diretta ? Indicare il tempo di esecuzione, l'algoritmo deterministico / randomizzato …

13 dc.parallel-comp

4

Riferimento per teorema fondamentale sulle rotazioni degli alberi

Si dice che due alberi di ricerca binari siano linearmente equivalenti quando concordano nei loro attraversamenti in ordine. Il seguente teorema spiega perché le rotazioni degli alberi sono così fondamentali: Lascia che A e B siano alberi di ricerca binari. Quindi A e B sono linearmente equivalenti se e solo …

13 reference-request ds.data-structures

1

Qual è la definizione corretta di

Come dice il titolo, qual è la definizione corretta di kkk -tree? Ci sono diversi giornali che parlano di kkk -Alberi e parziale kkk -Alberi come definizioni alternative per grafici con treewidth limitato, e ho visto molte definizioni apparentemente non corretti. Ad esempio, almeno un posto definisce kkk -trees come …

13 graph-theory treewidth

1

Prodotto a catena di matrice booleana sparsa veloce

Quindi, ho circa 100-200 matrici booleane quadrate molto sparse con lunghezza laterale ~ diverse dozzine e ho bisogno di calcolare il loro prodotto. So che se li moltiplico in serie, il prodotto di solito rimarrà scarso ad ogni passaggio. Esistono algoritmi di prodotti a catena di matrici che funzionano particolarmente …

13 ds.algorithms automata-theory matrix-product sparse-matrix

3

Disuguaglianza di tipo Chernoff per variabili casuali indipendenti in coppia

Le disuguaglianze di tipo Chernoff sono usate per mostrare che la probabilità che una somma di variabili casuali indipendenti si discosti significativamente dal suo valore atteso è esponenzialmente piccola nel valore atteso e nella deviazione. Esiste una disuguaglianza di tipo Chernoff per qualsiasi somma di variabili casuali indipendenti a coppie …

13 derandomization pr.probability chernoff-bound

2

Simulatore esauriente di protocolli a conoscenza zero nel modello Oracle casuale

In un documento intitolato "Sulla negabilità nella stringa di riferimento comune e nel modello Oracle casuale", Rafael Pass scrive: Notiamo che quando si dimostra la sicurezza secondo la definizione standard di conoscenza zero nel modello RO [Oracle casuale], il simulatore presenta due vantaggi rispetto a un simulatore di modello semplice, …

13 cc.complexity-theory cr.crypto-security oracles black-box