Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę "forcing set" wg kryterium: Temat


Wyświetlanie 1-8 z 8
Tytuł:
Total Forcing Sets and Zero Forcing Sets in Trees
Autorzy:
Davila, Randy
Henning, Michael A.
Powiązania:
https://bibliotekanauki.pl/articles/31348333.pdf
Data publikacji:
2020-08-01
Wydawca:
Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:
forcing set
forcing number
total forcing set
total forcing number
Opis:
A dynamic coloring of the vertices of a graph $G$ starts with an initial subset $S$ of colored vertices, with all remaining vertices being non-colored. At each discrete time interval, a colored vertex with exactly one non-colored neighbor forces this non-colored neighbor to be colored. The initial set $S$ is called a forcing set of $G$ if, by iteratively applying the forcing process, every vertex in $G$ becomes colored. If the initial set $S$ has the added property that it induces a subgraph of $G$ without isolated vertices, then $S$ is called a total forcing set in $G$. The minimum cardinality of a total forcing set in $G$ is its total forcing number, denoted $F_t(G)$. We prove that if $T$ is a tree of order $n ≥ 3$ with maximum degree $Δ$ and with $n_1$ leaves, then $n_1≤F_t(T)≤1/Δ((Δ-1)n+1)$. In both lower and upper bounds, we characterize the infinite family of trees achieving equality. Further we show that $F_t(T) ≥ F (T) + 1$, and we characterize the extremal trees for which equality holds.
Źródło:
Discussiones Mathematicae Graph Theory; 2020, 40, 3; 733-754
2083-5892
Pojawia się w:
Discussiones Mathematicae Graph Theory
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Embedding Cohen algebras using pcf theory
Autorzy:
Shelah, Saharon
Powiązania:
https://bibliotekanauki.pl/articles/1204996.pdf
Data publikacji:
2000
Wydawca:
Polska Akademia Nauk. Instytut Matematyczny PAN
Tematy:
set theory
pcf
forcing
Opis:
Using a theorem from pcf theory, we show that for any singular cardinal ν, the product of the Cohen forcing notions on κ, κ < ν, adds a generic for the Cohen forcing notion on $ν^+$.
Źródło:
Fundamenta Mathematicae; 2000, 166, 1-2; 83-86
0016-2736
Pojawia się w:
Fundamenta Mathematicae
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
The forcing geodetic number of a graph
Autorzy:
Chartrand, Gary
Zhang, Ping
Powiązania:
https://bibliotekanauki.pl/articles/744241.pdf
Data publikacji:
1999
Wydawca:
Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:
geodetic set
geodetic number
forcing geodetic number
Opis:
For two vertices u and v of a graph G, the set I(u, v) consists of all vertices lying on some u-v geodesic in G. If S is a set of vertices of G, then I(S) is the union of all sets I(u,v) for u, v ∈ S. A set S is a geodetic set if I(S) = V(G). A minimum geodetic set is a geodetic set of minimum cardinality and this cardinality is the geodetic number g(G). A subset T of a minimum geodetic set S is called a forcing subset for S if S is the unique minimum geodetic set containing T. The forcing geodetic number $f_G(S)$ of S is the minimum cardinality among the forcing subsets of S, and the forcing geodetic number f(G) of G is the minimum forcing geodetic number among all minimum geodetic sets of G. The forcing geodetic numbers of several classes of graphs are determined. For every graph G, f(G) ≤ g(G). It is shown that for all integers a, b with 0 ≤ a ≤ b, a connected graph G such that f(G) = a and g(G) = b exists if and only if (a,b) ∉ {(1,1),(2,2)}.
Źródło:
Discussiones Mathematicae Graph Theory; 1999, 19, 1; 45-58
2083-5892
Pojawia się w:
Discussiones Mathematicae Graph Theory
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
On what I do not understand (and have something to say): Part I
Autorzy:
Shelah, Saharon
Powiązania:
https://bibliotekanauki.pl/articles/1204995.pdf
Data publikacji:
2000
Wydawca:
Polska Akademia Nauk. Instytut Matematyczny PAN
Tematy:
set theory
cardinal arithmetic
pcf theory
forcing
iterated forcing
large continuum
nep
nicely definable forcing
combinatorial set theory
Boolean algebras
set-theoretic algebra
partition calculus
Ramsey theory
Opis:
This is a non-standard paper, containing some problems in set theory I have in various degrees been interested in. Sometimes with a discussion on what I have to say; sometimes, of what makes them interesting to me, sometimes the problems are presented with a discussion of how I have tried to solve them, and sometimes with failed tries, anecdotes and opinions. So the discussion is quite personal, in other words, egocentric and somewhat accidental. As we discuss many problems, history and side references are erratic, usually kept to a minimum ("see ..." means: see the references there and possibly the paper itself). The base were lectures in Rutgers, Fall '97, and reflect my knowledge then. The other half, [122], concentrating on model theory, will subsequently appear. I thank Andreas Blass and Andrzej Rosłanowski for many helpful comments.
Źródło:
Fundamenta Mathematicae; 2000, 166, 1-2; 1-82
0016-2736
Pojawia się w:
Fundamenta Mathematicae
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
On a problem of Steve Kalikow
Autorzy:
Shelah, Saharon
Powiązania:
https://bibliotekanauki.pl/articles/1205000.pdf
Data publikacji:
2000
Wydawca:
Polska Akademia Nauk. Instytut Matematyczny PAN
Tematy:
set theory
forcing
continuity
Kalikow
free subset
Opis:
The Kalikow problem for a pair (λ,κ) of cardinal numbers,λ > κ (in particular κ = 2) is whether we can map the family of ω-sequences from λ to the family of ω-sequences from κ in a very continuous manner. Namely, we demand that for η,ν ∈ ω we have: η, ν are almost equal if and only if their images are. We show consistency of the negative answer, e.g., for $ℵ_ω$ but we prove it for smaller cardinals. We indicate a close connection with the free subset property and its variants.
Źródło:
Fundamenta Mathematicae; 2000, 166, 1-2; 137-151
0016-2736
Pojawia się w:
Fundamenta Mathematicae
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A Maximum Resonant Set of Polyomino Graphs
Autorzy:
Zhang, Heping
Zhou, Xiangqian
Powiązania:
https://bibliotekanauki.pl/articles/31340955.pdf
Data publikacji:
2016-05-01
Wydawca:
Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:
polyomino graph
dimer problem
perfect matching
resonant set
forcing number
alternating set
Opis:
A polyomino graph P is a connected finite subgraph of the infinite plane grid such that each finite face is surrounded by a regular square of side length one and each edge belongs to at least one square. A dimer covering of P corresponds to a perfect matching. Different dimer coverings can interact via an alternating cycle (or square) with respect to them. A set of disjoint squares of P is a resonant set if P has a perfect matching M so that each one of those squares is M-alternating. In this paper, we show that if K is a maximum resonant set of P, then P − K has a unique perfect matching. We further prove that the maximum forcing number of a polyomino graph is equal to the cardinality of a maximum resonant set. This confirms a conjecture of Xu et al. [26]. We also show that if K is a maximal alternating set of P, then P − K has a unique perfect matching.
Źródło:
Discussiones Mathematicae Graph Theory; 2016, 36, 2; 323-337
2083-5892
Pojawia się w:
Discussiones Mathematicae Graph Theory
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Logika racjonalności. W stronę modalnego platonizmu matematycznego
The Logic of Rationality. Towards Modal Mathematical Platonism
Autorzy:
Wilczek, Piotr
Powiązania:
https://bibliotekanauki.pl/articles/691018.pdf
Data publikacji:
2011
Wydawca:
Copernicus Center Press
Tematy:
Alfred N. Whitehead
Alfred Tarski
logical consequence
ZFC
second-order set theory
forcing
modal logics
field of rationality
structuralism
platonism
Opis:
In this article Whitehead’s philosophy of mathematics is characterized as a Structural Second-Order Platonism and it is demonstrated that the Whiteheadian ontology is consistent with modern formal approaches to the foundation of mathematics. We follow the pathway taken by model-theoretically and semantically oriented philosophers. Consequently, it is supposed that all mathematical theories (understood as deductively closed set of sentences) determine their own models. These models exist mind-independently in the realm of eternal objects. From the metatheoretical point of view the hypothesis (posed by Józef Życiński) of the Rationality Field is explored. It is indicated that relationships between different models can be described in the language of modal logics and can further be axiomatized in the framework of the Second Order Set Theory. In conclusion, it is asserted that if any model (of a mathematical theory) is understood, in agreement with Whitehead’s philosophy, as a collection of eternal objects, which can be simultaneously realized in a single actual occasion, then our external world is governed by the hidden pattern encoded in the field of pure potentialities which constitute the above mentioned Field of Rationality. Therefore, this work can be regarded as the first step towards building a Logic of Rationality.
Źródło:
Zagadnienia Filozoficzne w Nauce; 2011, 49; 98-122
0867-8286
2451-0602
Pojawia się w:
Zagadnienia Filozoficzne w Nauce
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Almost disjoint families and property (a)
Autorzy:
Szeptycki, Paul
Vaughan, Jerry
Powiązania:
https://bibliotekanauki.pl/articles/1205285.pdf
Data publikacji:
1998
Wydawca:
Polska Akademia Nauk. Instytut Matematyczny PAN
Tematy:
property (a), density
extent
almost disjoint families
Ψ-space
CH
GCH
Martin's Axiom
$\got p = \got c$
Cohen forcing
Q-set
weakly inaccessible cardinal.
Opis:
We consider the question: when does a Ψ-space satisfy property (a)? We show that if $|A| < \got p$ then the Ψ-space Ψ(A) satisfies property (a), but in some Cohen models the negation of CH holds and every uncountable Ψ-space fails to satisfy property (a). We also show that in a model of Fleissner and Miller there exists a Ψ-space of cardinality $\got p$ which has property (a). We extend a theorem of Matveev relating the existence of certain closed discrete subsets with the failure of property (a).
Źródło:
Fundamenta Mathematicae; 1998, 158, 3; 229-240
0016-2736
Pojawia się w:
Fundamenta Mathematicae
Dostawca treści:
Biblioteka Nauki
Artykuł
    Wyświetlanie 1-8 z 8

    Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies