Informatique théorique reference-request

1

J'essaie de trouver des problèmes dont la complexité de l'espace moyen des cas a été analysée. Plus précisément, je suis intéressé de savoir s'il y a des problèmes avec une borne inférieure de complexité d'espace prouvée qui est super-linéaire, et surtout s'il y en a avec une analyse de cas …

11 cc.complexity-theory reference-request space-bounded average-case-complexity

1

Sous-forêt de poids minimum de cardinalité donnée

Cette question était motivée par une question posée sur stackoverflow . Supposons que l'on vous donne un arbre enraciné (c'est-à-dire qu'il y a une racine et que les nœuds ont des enfants, etc.) sur n nœuds (étiquetés 1 , 2 , … , n ).TTTnnn1,2,…,n1,2,…,n1, 2, \dots, n Chaque sommet …

11 cc.complexity-theory reference-request np-hardness tree application-of-theory

1

Limites inférieures pour la communication multipartite non déterministe

Il s'agit d'une continuation de ma question précédente sur les limites inférieures de communication pour les fonctions booléennes partielles . Quelqu'un peut-il suggérer une référence sur les limites inférieures pour la communication multipartite non déterministe? J'ai examiné les articles sur le terrain, mais tout le monde semble montrer les séparations …

11 cc.complexity-theory reference-request lower-bounds communication-complexity norms

1

Apprentissage agnostique sur des distributions arbitraires

Soit une distribution sur des paires chaîne de bits / étiquette et soit une collection de fonctions booléennes . Pour chaque fonction , soit: et soit: OPT (C, D) = \ min_ {f \ in C} \ err (f, D) Disons qu'un algorithme A apprend agnostiquement C sur n'importe quelle …

11 reference-request machine-learning lg.learning

1

Les gens regardent-ils l'imbrication des boucles dans les circuits booléens?

Pendant un premier cycle en EE, j'ai assisté à des conférences qui présentaient une belle caractérisation des circuits booléens en termes de nombre de boucles imbriquées. En termes de complexité, les circuits booléens sont souvent considérés comme des creux, mais dans les cycles matériels réels, ils sont courants. Maintenant, modulo …

11 cc.complexity-theory reference-request circuit-complexity machine-models ar.hardware-architecture

1

Calcul d'ensembles sans H max

Dans un graphique, un ensemble indépendant est un sous-ensemble de sommets qui ne contient pas d'arête comme sous-graphique induit. Le problème de trouver les plus grands ensembles indépendants dans un graphique est une question algorithmique fondamentale, et difficile à résoudre. Considérons la question plus générale de trouver (la taille de) …

11 ds.algorithms reference-request graph-theory np-hardness co.combinatorics

2

Le système F avec paires a-t-il de fortes propriétés de normalisation et de réduction du sujet?

Il est facile de regarder dans beaucoup de manuels les preuves de réduction de sujet et de forte normalisation pour le système F, aussi, il existe parfois des définitions du système F avec des paires, où (t, r) est un terme, pas seulement un encodage. La question est, quelle serait …

11 reference-request lo.logic type-theory lambda-calculus polymorphism

1

Quelqu'un peut-il suggérer une enquête récente sur les chaînes de Markov sous forme de produit?

Je suis particulièrement intéressé par leur utilisation dans les applications de vérification de modèle. J'ai des réseaux de files d'attente ouverts, fermés et mixtes avec différentes classes de clients par Baskett et al. Avez-vous d'autres suggestions pour lire du matériel? Merci.

11 reference-request markov-chains queueing-theory model-checking

3

Est-ce que

Notons le degré de sortie minimal dans G , et par δ - ( G ) le degré de sortie minimal .δ+( G )δ+(G)\delta^+(G)gGGδ-( G )δ−(G)\delta^-(G) Dans une question connexe , j'ai mentionné l'extension de Ghouila-Houri du théorème de Dirac sur les cycles hamiltoniens , qui suggère que si alors …

11 reference-request graph-theory

1

Trouver un double d'un graphique

Selon le livre Topological Graph Theory de Gross et Tucker, étant donné l'incorporation cellulaire d'un graphique sur une surface (par `` surface '', je veux dire ici une sphère avec quelques poignées, et ci-dessous réfère à la sphère avec exactement poignées), on peut définir une multigraphe double en traitant les …

11 ds.algorithms reference-request graph-theory cg.comp-geom topological-graph-theory

4

Récupérer la pente d'une ligne numérisée

Y a-t-il eu des travaux pour récupérer la pente d'un segment de ligne de sa numérisation? On ne peut pas le faire avec une précision parfaite, bien sûr; ce que l'on veut, c'est une méthode pour dériver d'une ligne numérisée un intervalle de pentes possibles. (La notion de ligne numérisée …

11 reference-request cg.comp-geom cv.computer-vision image-processing

5

Fonctions sous-modulaires: demande de référence

Je serais très intéressé par les références à la théorie des fonctions sous-modulaires (des bases aux avancées). En particulier, j'étudie des approximations de problèmes d'optimisation difficiles et je souhaite développer mes fondations dans les fonctions sous-modulaires car elles sont pertinentes aux problèmes d'optimisation que j'ai étudiés. Merci d'avance.

11 ds.algorithms reference-request approximation-algorithms optimization

2

Intuition derrière une positivité stricte?

Je me demande si quelqu'un peut me donner l'intuition derrière pourquoi la positivité stricte des types de données inductifs garantit une forte normalisation. Pour être clair, je vois comment avoir des occurrences négatives conduit à la divergence, c'est-à-dire en définissant: data X where Intro : (X->X) -> X nous pouvons …

10 reference-request pl.programming-languages type-theory type-systems dependent-type

1

Techniques de preuve pour montrer que la vérification du type dépendant est décidable

Je suis dans une situation où je dois montrer que la vérification de typage est décidable pour un calcul typé de manière dépendante sur lequel je travaille. Jusqu'à présent, j'ai pu prouver que le système est en train de normaliser fortement, et donc que l'égalité définitionnelle est décidable. Dans de …

10 reference-request pl.programming-languages type-theory dependent-type typed-lambda-calculus

1

Algorithmes d'inversion de programme pour les programmes d'ordre supérieur

Le terme inversion de programme a plusieurs nuances de sens, mais a probablement commencé avec le travail de J. McCarthy de 1956, The Inversion of Functions Defined by Turing Machines dans le contexte de l'IA. À présent, de nombreuses connexions entre l'inversion de programme et d'autres domaines ont été découvertes, …

10 reference-request lambda-calculus typed-lambda-calculus reversible-computing

Questions marquées «reference-request»