Informatique théorique reference-request

2

Problèmes d'optimisation MSOL sur les graphiques de largeur de clique bornée, avec des prédicats de cardinalité

CMSOL est la logique de deuxième ordre monadique, c'est-à-dire une logique de graphiques où le domaine est l'ensemble des sommets et des arêtes, il y a des prédicats pour la contiguïté des sommets et les incidences des arêtes et des sommets, il y a une quantification sur les arêtes, les …

12 ds.algorithms reference-request graph-algorithms descriptive-complexity cliquewidth

2

Quelle est la largeur de chemin de la grille 3D (maillage ou treillis) de longueur latérale k?

J'ai posé cette question il y a quelques semaines à mathoverflow , mais je n'ai reçu aucune réponse. Ici, par grille 3D de longueur latérale je veux dire le graphique avec et , c'est-à-dire que les nœuds sont placés à des coordonnées entières en 3 dimensions entre 1 et , …

12 reference-request graph-theory co.combinatorics treewidth integer-lattice

2

Solutions minimales maximales de LP

La programmation linéaire est, bien sûr, de nos jours très bien comprise. Nous avons beaucoup de travail qui caractérise la structure des solutions réalisables et la structure des solutions optimales. Nous avons la forte dualité, les algorithmes poly-temps, etc. Mais que sait- on des solutions minimales maximales de LP? Ou, …

12 cc.complexity-theory ds.algorithms reference-request linear-programming optimization

3

Un problème à plusieurs volets

Je recherche un nom ou des références à ce problème. Étant donné un graphe pondéré G = ( V, E, w )G=(V,E,w)G = (V, E, w) trouver une partition des sommets jusqu'à n = | V|n=|V|n = |V|fixe S1, … , SnS1,…,SnS_1,\ldots,S_n façon à maximiser la valeur des arêtes coupées: …

12 ds.algorithms reference-request approximation-algorithms max-cut

3

Quels sont les problèmes avec le meilleur rapport d'approximation obtenu par un algorithme renvoyant uniformément une solution aléatoire?

Quels sont les problèmes avec le meilleur rapport d'approximation connu obtenu par un algorithme renvoyant une solution uniformément aléatoire? Je connais un tel exemple pour le problème de magasin de flux de permutation : dans le document " Limites serrées pour la planification des ateliers de flux de permutation ", …

12 ds.algorithms reference-request approximation-algorithms

10

Ressources pour en savoir plus sur le problème P vs. NP

On m'a récemment rappelé le problème vs comme expliqué par Stephen A. Cook sur Clay Mathematics Institute.N PPP\mathsf{P}N PNP\mathsf{NP} Cela a piqué mon intérêt et j'aimerais en savoir plus. La première étape serait d'acquérir une compréhension plus approfondie du problème et une compréhension du domaine en général. Pouvez-vous recommander des …

12 cc.complexity-theory reference-request survey books p-vs-np

7

Thèmes interdisciplinaires entre théorie du contrôle et informatique théorique

Je suis dans ma deuxième année dans un MSc qui ne se rapporte pas trop au TCS bien que je le souhaite. Il s'agit essentiellement de la théorie du contrôle, des signaux et des systèmes et j'ai suivi des cours dans les systèmes avancés (robuste, non linéaire, optimal, stochastique), le …

12 reference-request soft-question

3

Langues

Quels sont les autres langages de problèmes différents de l'isomorphisme des graphes dans ? Pouvez-vous donner quelques références?NP∩ c o A MNP∩coAMNP\cap coAM Mise à jour: J'ai oublié de mentionner que je suis intéressé dans les langues ne sont pas connus pour être en .c o NPcoNPcoNP

12 cc.complexity-theory reference-request complexity-classes graph-isomorphism

2

Largeur d'arbre minimale du circuit pour MAJORITY

Quelle est la largeur d'arbre minimale d'un circuit sur pour calculer MAJ?{∧,∨,¬}{∧,∨,¬}\{\wedge,\vee,\neg\} Ici MAJ :{0,1}n→{0,1}:{0,1}n→{0,1}:\{0,1\}^n \rightarrow \{0,1\} sort 1 si au moins la moitié de ses entrées sont 111 . Je ne me soucie que de la taille du circuit (doit être polynomial) et qu'une entrée ne doit être lue …

12 reference-request complexity-classes circuit-complexity treewidth

2

Substitution héréditaire avec une hiérarchie d'univers

J'ai lu des informations sur la substitution héréditaire pour le calcul lambda simple et pour le cadre logique avec des termes et des types distincts. Je me demande, existe-t-il des exemples de substitution héréditaire dans un système typé de façon dépendante avec une hiérarchie d'univers? c'est-à-dire où True:Set0:Set1:Set2True:Set0:Set1:Set2 True : …

11 reference-request lo.logic pl.programming-languages type-theory lambda-calculus

1

Complexité paramétrée de l'inclusion des langues régulières

Je m'intéresse au problème classique INCLUSION DE LA LANGUE RÉGULIÈRE. Étant donné une expression régulière , nous notons L ( E ) le langage régulier qui lui est associé. (Les expressions régulières sont sur un alphabet fixe Σ , avec les opérations union, Kleene-star et concaténation.)EEEL ( E)L(E)L(E)ΣΣ\Sigma Entrée: Deux …

11 cc.complexity-theory reference-request regular-language parameterized-complexity regular-expressions

2

État de l'art pour la classe monadique?

La logique monadique du premier ordre, également connue sous le nom de classe monadique du problème de décision, est l'endroit où tous les prédicats prennent un argument. Il a été démontré qu'il est décidable par Ackermann et est NEXPTIME complet . Cependant, des problèmes comme SAT et SMT ont des …

11 reference-request lo.logic automated-theorem-proving program-verification first-order-logic

1

Vecteur binaire

J'ai un ensemble de nnn vecteurs binaires S={s1,…,sn}⊆{0,1}k∖{1k}S={s1,…,sn}⊆{0,1}k∖{1k}S = \{s_1, \ldots, s_n \} \subseteq \{0,1\}^k \setminus \{1^k\} et un vecteur cible t=1kt=1kt = 1^k qui est le vecteur tout-en-un. Conjecture: si peut être écrit comme une combinaison linéaire d'éléments de S sur Z / q Z pour toutes les puissances …

11 reference-request linear-algebra finite-fields

1

Quel est le nom d'une fonction telle que ?

Soit un langage et une fonction sur deux paramètres avec la propriété que pour tout et , renvoie un élément de si et seulement si et sont des éléments de :f : Σ ⋆ × Σ ⋆ → Σ ⋆ x y f L x y LLLLF: Σ⋆× Σ⋆→ Σ⋆f:Σ⋆×Σ⋆→Σ⋆f\colon …

11 reference-request fl.formal-languages

1

Généralisation du théorème de Dilworth pour les DAG étiquetés

Un antichaîne dans un DAG est un sous - ensemble de sommets qui sont inaccessibles par paires, à savoir, il n'y a pas tel que est accessible à partir de dans . D'après le théorème de Dilworth dans la théorie de l'ordre partiel, on sait que si DAG n'a pas …

11 reference-request graph-theory directed-acyclic-graph partial-order

Questions marquées «reference-request»