Logic circuits from zero forcing
نویسندگان
چکیده
منابع مشابه
On the zero forcing number of some Cayley graphs
Let Γa be a graph whose each vertex is colored either white or black. If u is a black vertex of Γ such that exactly one neighbor v of u is white, then u changes the color of v to black. A zero forcing set for a Γ graph is a subset of vertices Zsubseteq V(Γ) such that if initially the vertices in Z are colored black and the remaining vertices are colored white, then Z changes the col...
متن کاملZero forcing number of graphs
A subset S of initially infected vertices of a graph G is called forcing if we can infect the entire graph by iteratively applying the following process. At each step, any infected vertex which has a unique uninfected neighbour, infects this neighbour. The forcing number of G is the minimum cardinality of a forcing set in G. In the present paper, we study the forcing number of various classes o...
متن کاملFractional zero forcing via three-color forcing games
An r-fold analogue of the positive semidefinite zero forcing process that is carried out on the r-blowup of a graph is introduced and used to define the fractional positive semidefinite forcing number. Properties of the graph blowup when colored with a fractional positive semidefinite forcing set are examined and used to define a three-color forcing game that directly computes the fractional po...
متن کاملThe Modal Logic of Forcing
A set theoretical assertion ψ is forceable or possible, written ♦ψ, if ψ holds in some forcing extension, and necessary, written ψ, if ψ holds in all forcing extensions. In this forcing interpretation of modal logic, we establish that if ZFC is consistent, then the ZFC-provable principles of forcing are exactly those in the modal theory S4.2.
متن کاملThe Zero Forcing Number of Circulant Graphs
The zero forcing number of a graph G is the cardinality of the smallest subset of the vertices of G that forces the entire graph using a color change rule. This paper presents some basic properties of circulant graphs and later investigates zero forcing numbers of circulant graphs of the form C[n, {s, t}], while also giving attention to propagation time for specific zero forcing sets.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Natural Computing
سال: 2014
ISSN: 1567-7818,1572-9796
DOI: 10.1007/s11047-014-9438-5