Independence-friendly logic is a conservative extension of first-order logic that has the same expressive power as existential second-order logic. In her Ph.D. thesis, Dechesne introduces a variant of independence-friendly logic called IFG logic. We attempt to algebraize IFG logic in the same way that Boolean algebra is the algebra of propositional logic and cylindric algebra is the algebra of ...

We show that, by combining an existing compression boosting technique with the wavelet tree data structure, we are able to design a variant of the FM-index which scales well with the size of the input alphabet Σ. The size of the new index built on a string T [1, n] is bounded by nHk(T )+O ( (n log log n)/ log|Σ| n ) bits, where Hk(T ) is the k-th order empirical entropy of T . The above bound h...

let $a$ be a non-trivial abelian group and $a^{*}=asetminus {0}$. a graph $g$ is said to be $a$-magic graph if there exists a labeling$l:e(g)rightarrow a^{*}$ such that the induced vertex labeling$l^{+}:v(g)rightarrow a$, define by $$l^+(v)=sum_{uvin e(g)} l(uv)$$ is a constant map.the set of all constant integerssuch that $sum_{uin n(v)} l(uv)=c$, for each $vin n(v)$,where $n(v)$ denotes the s...

Let G be a graph with vertex set V and edge set E , and let A be an abelian group. A labeling f : V → A induces an edge labeling f ∗ : E → A defined by f (xy) = f (x) + f (y). For i ∈ A, let v f (i) = card{v ∈ V : f (v) = i} and e f (i) = card{e ∈ E : f (e) = i}. A labeling f is said to be A-friendly if |v f (i)−v f ( j)| ≤ 1 for all (i, j) ∈ A× A, and A-cordial if we also have |e f (i) − e f (...

The research of Boolean index sets of graphs is one of the important graph theory in the graph theory. Boolean index sets of graphs are to use the vertex sets and the edge sets of graphs to study the characteristics of various graphs and their inherent characteristics through corresponding the mapping function to 2 Z . Its theory can be applied to information engineering, communication networks...

The research of Boolean index sets of graphs is one of the most important graph theories in the graph theory . Boolean index sets of graphs are to use the vertex sets and the edge sets of graphs to study the characteristics of various graphs and their inherent characteristics through corresponding the mapping function to 2 Z . It’s theory can be applied to information engineering, communication...

This paper introduces Index-Set Splitting (ISS), a technique that splits a loop containing several conditional statements into several loops with less complex control flow. Contrary to the classic loop unswitching technique, ISS splits loops when the conditional is loop variant. ISS uses an Index Sub-range Tree (IST) to identify the structure of the conditionals in the loop and to select which ...

Abstract A binary vertex labeling f : V (G) → Z2 of a graph G is said to be friendly if the number of vertices labeled 0 is almost the same as the number of vertices labeled 1. This friendly labeling induces an edge labeling f∗ : E(G) → Z2 defined by f∗(uv) = f(u)f(v) for all uv ∈ E(G). Let ef (i) = {uv ∈ E(G) : f∗(uv) = i} be the number of edges of G that are labeled i. Productcordial index of...