The resolution complexity of random graph k-colorability
نویسندگان
چکیده
منابع مشابه
The resolution complexity of random graph k-colorability
We consider the resolution proof complexity of propositional formulas which encode random instances of graph k-colorability. We obtain a tradeoff between the graph density and the resolution proof complexity. For random graphs with linearly many edges we obtain linear-exponential lower bounds on the length of resolution refutations. For any ǫ > 0, we obtain sub-exponential lower bounds of the f...
متن کاملk-Colorability is Graph Automaton Recognizable
Automata operating on general graphs have been introduced by virtue of graphoids. In this paper we construct a graph automaton that recognizes k-colorable graphs.
متن کاملThe Complexity of some Problems Related to Graph 3-colorability
It is well-known that the GRAPH 3.COLORABILITY problem, deciding whether a given graph has a stable set whose deletion results in a bipartite graph, is NP-complete. We prove the following related theorems: It is NP-complete to decide whether a graph has a stable set whose deletion results in (1) a tree or (2) a trivially perfect graph, and there is a polynomial algorithm to decide if a given gr...
متن کاملthe effect of task complexity on lexical complexity and grammatical accuracy of efl learners’ argumentative writing
بر اساس فرضیه شناخت رابینسون (2001 و 2003 و 2005) و مدل ظرفیت توجه محدود اسکهان (1998)، این تحقیق تاثیر پیچیدگی تکلیف را بر پیچیدگی واژگان و صحت گرامری نوشتار مباحثه ای 60 نفر از دانشجویان زبان انگلیسی بررسی کرد. میزان پیچیدگی تکلیف از طریق فاکتورهای پراکندگی-منابع تعیین شد. همه ی شرکت کنندگان به صورت نیمه تصادفی به یکی از سه گروه: (1) گروه موضوع، (2) گروه موضوع + اندیشه و (3) گروه موضوع + اندی...
15 صفحه اولComplexity of the conditional colorability of graphs
For an integer r > 0, a conditional (k, r)-coloring of a graph G is a proper k-coloring of the vertices of G such that every vertex v of degree d(v) in G is adjacent to vertices with at least min{r, d(v)} different colors. The smallest integer k for which a graph G has a conditional (k, r)-coloring is called the rth order conditional chromatic number, denoted by χr(G). It is easy to see that th...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Discrete Applied Mathematics
سال: 2005
ISSN: 0166-218X
DOI: 10.1016/j.dam.2005.05.004