Informatica teorica reference-request

1

Lascia che denota l'insieme e C (n, k) denota l'insieme di tutte le combinazioni di elementi da senza ripetizioni. Sia una -tupla in . Diciamo che una permutazione dell'insieme evita se non vi è k-tupla di numeri interi tale che { 1 , . . . , n } k …

15 reference-request co.combinatorics permutations

3

L'esecuzione simbolica è un caso di interpretazione astratta?

Questo è scritto nella voce wiki di Symbolic Execution , ma non riesco a trovare alcun riferimento per questo. Qualcuno può mostrarmi un puntatore? Grazie.

15 reference-request lo.logic program-analysis

2

minimizzare le dimensioni dell'espressione regolare per insiemi finiti

È noto che ridurre al minimo la dimensione di un'espressione regolare è completo per PSPACE anche se abbiamo un DFA come specifica del linguaggio . Quali sono i risultati se la lingua è finita? Si può considerare questo problema in due modelli: L'input è tutte le stringhe nella lingua e …

15 cc.complexity-theory reference-request fl.formal-languages regular-expressions dfa

3

Caratterizzazione combinatoria dell'apprendimento esatto con domande di appartenenza

Modifica: poiché non ho ricevuto risposte / commenti da una settimana, vorrei aggiungere che sono felice di sapere qualcosa sul problema. Non lavoro nell'area, quindi anche se si tratta di una semplice osservazione, potrei non saperlo. Anche un commento del tipo "Lavoro nell'area, ma non ho visto una caratterizzazione come …

15 reference-request machine-learning lg.learning

2

Usi di quasi-PER / relazioni difunzionali / relazioni a zig-zag?

Dati gli insiemi e , una relazione difunzionale tra loro è definita come una relazione che soddisfa la seguente proprietà:UNAABBB ( ∼ ) ⊆ A × B(∼)⊆A×B(\sim) \subseteq A \times B Se e e , quindi . a ∼ ba∼ba \sim bun''∼ b'a′∼b′a' \sim b'a ∼ b'a∼b′a \sim b'un''∼ bun''~Ba' …

15 reference-request pl.programming-languages denotational-semantics logical-relations

2

Teoria della prova dei biprodotti?

Una categoria ha biprodotti quando gli stessi oggetti sono sia i prodotti che i coprodotti. Qualcuno ha studiato la teoria della prova delle categorie con i biprodotti? Forse l'esempio più noto è la categoria di spazi vettoriali, in cui la somma diretta e le costruzioni dirette del prodotto danno lo …

15 reference-request lo.logic pl.programming-languages type-theory ct.category-theory

2

Qual è l'origine delle relazioni logiche?

In realtà ho due domande: Chi per primo ha usato le relazioni logiche per mettere in relazione la semantica? Li ho fatti risalire a " Sulla relazione tra semantica diretta e di continuazione " di Reynold , ma non posso affermare di aver fatto una ricerca esaustiva. Ho trovato riferimenti …

15 reference-request pl.programming-languages denotational-semantics logical-relations

3

Fonti per la teoria dei giochi evolutiva algoritmica

Uso il termine del titolo in un senso molto ampio. C'è una notevole quantità di lavoro sulla teoria dei giochi evolutiva, comprese le sue basi matematiche. Mi è stato consigliato "Giochi evolutivi e dinamiche della popolazione", ma non ho ancora approfondito. C'è anche una notevole quantità di lavoro sulla teoria …

15 reference-request gt.game-theory genetic-algorithms evolutionary-game-theory

5

Riferimenti per la decomposizione modulare

Quali sono i buoni documenti / libri per comprendere meglio il potere della decomposizione modulare e le sue proprietà? Sono particolarmente interessato agli aspetti algoritmici della decomposizione modulare. Ho sentito che è possibile trovare una decomposizione modulare di un grafico in tempo lineare. Esiste un algoritmo relativamente semplice per questo? …

15 ds.algorithms reference-request graph-theory graph-algorithms

1

In cerca di documenti e articoli sul Tarskian Möglichkeit

Alcuni retroscena: le logiche a molti valori di Łukasiewicz erano intese come logiche modali e Łukasiewicz ha dato una definizione estesa dell'operatore modale: (che attribuisce a Tarski).◊ A =de f¬ A → A◊UN=def¬UN→UN\Diamond A =_{def} \neg A \to A Questo dà una strana logica modale, con un po 'paradossale, se …

15 reference-request lo.logic proof-theory linear-logic modal-logic

5

Alla ricerca di articoli e articoli su logiche strutturali modali

Sto cercando articoli e articoli sulle logiche substrutturali modali, non sulla semantica delle modalità logiche lineari, ma sulle logiche sostrutturali aumentate con operatori modali standard, ad esempio la sottostrutturale K (qualcosa come MALL con operatore box, necessità e regole K).

15 reference-request lo.logic proof-theory

1

Teoremi a punto fisso per spazi metrici costruttivi?

Il teorema del punto fisso di Banach dice che se abbiamo uno spazio metrico completo non vuoto AAA , allora qualsiasi funzione uniformemente contrattiva f:A→Af:A→Af : A \to A ha un punto fisso univoco μ(f)μ(f)\mu(f) . Tuttavia, la dimostrazione di questo teorema richiede l'assioma della scelta - dobbiamo scegliere un …

15 reference-request lo.logic pl.programming-languages denotational-semantics metric-spaces

3

Qualche riferimento per le tecniche nelle riduzioni FPT?

Come tutti sanno, il famoso libro di Garey e Johnson (e molti altri) fornisce un eccellente riferimento per la tecnica di riduzione in ambito classico. Ci sono sondaggi o libri sull'argomento della tecnica di riduzione nell'algoritmo parametrico, diciamo la riduzione fpt?

15 cc.complexity-theory reference-request reductions parameterized-complexity

3

Teorie che caratterizzano le classi di complessità computazionale

Quando leggi il documento " Una teoria applicativa per FPH " puoi incontrare il seguente passaggio: Considerando le teorie che caratterizzano le classi di complessità computazionale, ci sono tre diversi approcci: in uno, le funzioni che possono essere definite all'interno della teoria sono "automaticamente" all'interno di una certa classe di …

15 cc.complexity-theory reference-request complexity-classes lo.logic proof-complexity

3

Indagini sulla progettazione di generatori di numeri pseudo-casuali?

Sono interessato alla generazione di numeri pseudo-casuali per la crittografia. Oltre al capitolo 5 di Menezes / Oorschot / Vanstone ; Capitolo 8 di Stinson ; e il capitolo 3 di Goldreich , dove altro avrei potuto trovare di più? Sono interessato ai principi generali per la progettazione di PRNG …

15 cc.complexity-theory reference-request pseudorandomness

Domande taggate «reference-request»