We study the (non-uniform) quantified constraint satisfaction problem QCSP(H) as H ranges over partially reflexive cycles. We obtain a complexity-theoretic dichotomy: QCSP(H) is either in NL or is NP-hard. The separating conditions are somewhat esoteric hence the epithet “wavy line of tractability” (see Figure 5 at end).

Paul Atzberger, a professor in UCSB's Department of Mathematics and in mechanical engineering. In popular culture, mathematics is often deemed inaccessible or esoteric. Yet in the modern world, it plays an ever more important role in our daily lives and a decisive role in the discovery and development of new ideas — often behind the scenes.

Vegetation is traditionally regarded as passive, doing nothing but what is essential to grow and survive. Evidence is accumulating, however, in support of formerly esoteric notions that plants can communicate, remember, even count--features that one would call cognitive if they were observed in animals. Michael Gross reports.

“welfare” can be hardly defined. we defined it simply as enjoyment from life facilities in three dimensions: being, becoming and belonging. “welfare culture” which is our keyword in this essay, designates the centrality of body welfare accompanied by self-expression of humanist subject. in present era, welfare culture has been immensely formed and alongside new values, ideas and concepts which ...