Informatica teorica

1

Le triangolazioni Delaunay sulla sfera massimizzano l'angolo minimo?

Le triangolazioni di Delaunay nel piano massimizzano l'angolo minimo in un triangolo. Lo stesso vale per la triangolazione di Delaunay di punti sulla sfera? (qui l '"angolo" è l'angolo locale in un quartiere attorno al vertice all'apice). Ispirato da ma non correlato a questa domanda su Math.SE.

9 cg.comp-geom delaunay-triangulation

2

Algoritmo di enumerazione della cricca

Sto leggendo un vecchio documento di MC Golumbic sui grafici EPT (intersezione dei bordi di percorsi in un albero). Nel documento viene mostrato che il numero di cricche massime di un'istanza del grafico EPT è polinomiale. Conclude che se un oracolo segnala che un grafico è un grafico EPT, allora …

9 ds.algorithms graph-algorithms clique

2

Complessità comunicativa con un arbitro

Assumi un quadro nella complessità della comunicazione in cui abbiamo due giocatori A (pidocchi) e B (ob) e una R (eferee). A e B non comunicano direttamente tra loro. In ogni round di comunicazione, ciascuno di essi invia un messaggio ( , ) a R. R calcola due funzioni e …

9 cc.complexity-theory reference-request communication-complexity

1

Scomposizione di una funzione sottomodulare

Data una funzione sottomodulare su Ω = X 1 ∪ X 2 dove X 1 e X 2 sono disgiunti e f ( S ) = f 1 ( S ∩ X 1 ) + f 2 ( S ∩ X 2 ) . Qui f 1 e f 2 …

9 ds.algorithms submodularity

2

Ricerca sull'inferenza di tipo basata sul sito di chiamata?

Sto cercando di saperne di più sulla verifica del tipo di intero programma e sui sistemi di inferenza dei tipi che utilizzano le informazioni dai siti di chiamata delle funzioni per calcolare le informazioni sul tipo (oltre all'approccio standard dell'uso del corpo della funzione). Ad esempio, un tale algoritmo potrebbe …

9 pl.programming-languages type-theory type-inference type-systems

1

Max-Cut APX è completo su grafici senza triangoli?

Nel problema Max-Cut , si cerca un sottoinsieme S di vertici di un dato grafico semplice non orientato in modo tale che il numero di spigoli tra S e il complemento di S sia il più grande possibile. Max-Cut è completo APX su grafici a gradi limitati [PY91], e in …

9 cc.complexity-theory approximation-algorithms approximation-hardness max-cut

2

Calcolo della distanza dal kth vicino più vicino per tutti i punti nel set

Per un'applicazione di apprendimento della macchina, i miei bisogni di gruppo per calcolare la distanza euclidea al esimo vicino più prossimo in un insieme per ogni (per tra il 5 e circa 100 e alcune centinaia fino a qualche milione). Attualmente stiamo usando l'approccio o quello ovvio con un albero …

9 reference-request cg.comp-geom near-neighbors

3

Estrarre esempi dalla teoria del linguaggio formale

Sto imparando la teoria algebrica dell'analisi. Il mio primo problema è identificare esempi di semiring specifici della teoria del linguaggio formale. Ecco un tentativo di costruire due esempi. 1 Data la grammatica CNF, gli elementi del semiring sono insiemi di simboli terminali e non terminali con le operazioni: i) Moltiplicazione …

9 fl.formal-languages

1

Perché SHA-224 e SHA-256 utilizzano valori iniziali diversi?

Wikipedia - dice SHA-2 SHA-224 è identico a SHA-256, tranne che: i valori della variabile iniziale da h0 a h7 sono diversi e l'output è costruito omettendo h7. RFC3874 - Una funzione hash unidirezionale a 224 bit: dice SHA-224 L'uso di un diverso valore iniziale garantisce che un valore di …

9 cr.crypto-security hash-function

3

Domanda tecnica sulle passeggiate casuali

(La mia domanda originale non ha ancora ricevuto risposta. Ho aggiunto ulteriori chiarimenti.) Quando analizziamo passeggiate casuali (su grafici non orientati) osservando la camminata casuale come una catena di Markov, richiediamo che il grafico sia non bipartito in modo da applicare il teorema fondamentale delle catene di Markov. Cosa succede …

9 pr.probability random-walks

1

Espressioni regolari senza alternanza

Mi chiedevo quali insiemi di lingue sono generati dalle restrizioni delle espressioni regolari. Supponendo che tutte le restrizioni abbiano un simbolo costante per ogni elemento di e concatenazione. Quindi otto classi possono essere formate dalla presenza o assenza di complemento / negazione, alterazione / unione e la stella di Kleene. …

9 fl.formal-languages regular-expressions

1

La prova che il taglio più raro è NP-duro

Ovunque abbia letto del problema del taglio più raro, dice solo che il problema è noto per essere NP -hard. Dove posso trovare una prova di questo? Quale noto problema NP -hard si riduce al problema del taglio più raro? Non ho trovato alcuna prova nel libro di Vazirani - …

9 cc.complexity-theory reference-request np-hardness

1

Inapprossimabilità di set cover: posso assumere m = poly (n)?

Sto cercando di dimostrare che un certo problema è inapprossimabile da una riduzione dalla copertura del set. La mia riduzione trasforma un'istanza con set di terra di dimensioni e in un'istanza del mio problema in cui un determinato parametro è di dimensione . Posso quindi mostrare che un'istanza di set …

9 cc.complexity-theory approximation-hardness set-cover

2

Valori attesi della complessità di Kolmogorov in un campione casuale

La complessità di Kolmogorov di una stringa non è calcolabile. Tuttavia, in un sottoinsieme casuale di dimensioni di stringhe binarie di lunghezza n , quante sono previste una complessità inferiore a un numero intero n 0 inferiore a n (in funzione di M , n e n 0 )?MMMnnnn0n0n_{0}nnnMMMnnnn0n0n_{0}

9 cc.complexity-theory kolmogorov-complexity

3

Soluzione di programmazione lineare in un passaggio con variabili ordinate

Ho una famiglia di problemi di programmazione lineare: massimizzare soggetto ad , x \ ge0 . Gli elementi di A , b e c sono numeri interi non negativi, c strettamente positivi. ( x dovrebbe anche essere integrale, ma mi preoccuperò più avanti).A x ≤ b x ≥ 0 A …

9 ds.algorithms reference-request linear-programming matrices