It is a long standing open problem to find an explicit description of the stable set polytope of clawfree graphs. Yet more than 20 years after the discovery of a polynomial algorithm for the maximum stable set problem for claw-free graphs, there is even no conjecture at hand today. Such a conjecture exists for the class of quasi-line graphs. This class of graphs is a proper superclass of line graphs and a proper subclass of claw-free graphs for which it is known that not all facets have 0/1 normal vectors. The Ben Rebea conjecture states that the stable set polytope of a quasi-line graph is completely described by clique-family inequalities. Chudnovsky and Seymour recently provided a decomposition result for claw-free graphs and proved that the Ben Rebea conjecture holds, if the quasi-line graph is not a fuzzy circular interval graph. In this paper, we give a proof of the Ben Rebea conjecture by showing that it also holds for fuzzy circular interval graphs. Our result builds upon an algorithm of Bartholdi, Orlin and Ratliff which is concerned with integer programs defined by circular ones matrices.
The generality of the orthographic consistency effect in speech recognition tasks previously reported for Portuguese beginning readers was assessed in French-speaking children, as the French orthographic code presents a higher degree of inconsistency than the Portuguese one. Although the findings obtained with the French second graders replicated the generalized consistency effect (both for words and pseudowords, in both lexical decision and shadowing) displayed by the Portuguese second to fourth graders, the data obtained with the French third and fourth graders resembled the adult pattern, with the orthographic effect restricted to lexical decision. This suggests that, in the course of literacy acquisition, the overall orthographic inconsistency of the language's orthographic code influences the rate at which orthographic representations will impact on spoken word recognition.Learning to read and write has been shown to affect the way individuals process spoken words. Using lexical decision, Ziegler and Ferrand (1998) reported one of the most convincing and robust orthographic effects: words that end with a
It is a long standing open problem to find an explicit description of the stable set polytope of clawfree graphs. Yet more than 20 years after the discovery of a polynomial algorithm for the maximum stable set problem for claw-free graphs, there is even no conjecture at hand today. Such a conjecture exists for the class of quasi-line graphs. This class of graphs is a proper superclass of line graphs and a proper subclass of claw-free graphs for which it is known that not all facets have 0/1 normal vectors. Ben Rebea's conjecture states that the stable set polytope of a quasi-line graph is completely described by clique-family inequalities. Chudnovsky and Seymour recently provided a decomposition result for claw-free graphs and proved that Ben Rebea's conjecture holds, if the quasi-line graph is not a fuzzy circular interval graph. In this paper, we give a proof of Ben Rebea's conjecture by showing that it also holds for fuzzy circular interval graphs. Our result builds upon an algorithm of Bartholdi, Orlin and Ratliff which is concerned with integer programs defined by circular ones matrices.
We address a one-dimensional cutting stock problem where, in addition to trim-loss minimization, cutting patterns must be sequenced so that no more than s different part types are in production at any time. We propose a new integer linear programming formulation whose constraints grow quadratically with the number of distinct part types and whose linear relaxation can be solved by a standard column generation procedure. The formulation allowed us to solve problems with 20 part types for which an optimal solution was unknown.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.