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" wg kryterium: Temat


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ł:
Goldstern–Judah–Shelah preservation theorem for countable support iterations
Autorzy:
Repický, Miroslav
Powiązania:
https://bibliotekanauki.pl/articles/1208549.pdf
Data publikacji:
1994
Wydawca:
Polska Akademia Nauk. Instytut Matematyczny PAN
Tematy:
countable support iterated forcing
proper forcing
preservation theorem for iterated forcing
Opis:
[1] T. Bartoszyński, Additivity of measure implies additivity of category, Trans. Amer. Math. Soc. 281 (1984), 209-213. [2] T. Bartoszyński and H. Judah, Measure and Category, in preparation. [3] D. H. Fremlin, Cichoń's diagram, Publ. Math. Univ. Pierre Marie Curie 66, Sém. Initiation Anal., 1983/84, Exp. 5, 13 pp. [4] M. Goldstern, Tools for your forcing construction, in: Set Theory of the Reals, Conference of Bar-Ilan University, H. Judah (ed.), Israel Math. Conf. Proc. 6, 1992, 307-362. [5] H. Judah and M. Repický, No random reals in countable support iterations, preprint. [6] H. Judah and S. Shelah, The Kunen-Miller chart (Lebesgue measure, the Baire property, Laver reals and preservation theorems for forcing), J. Symbolic Logic 55 (1990), 909-927. [7] A. W. Miller, Some properties of measure and category, Trans. Amer. Math. Soc. 266 (1981), 93-114. [8] J. Pawlikowski, Why Solovay real produces Cohen real, J. Symbolic Logic 51 (1986), 957-968. [9] J. Raisonnier and J. Stern, The strength of measurability hypotheses, Israel J. Math. 50 (1985), 337-349. [10] M. Repický, Properties of measure and category in generalized Cohen's and Silver's forcing, Acta Univ. Carol. - Math. Phys. 28 (1987), 101-115. [11] S. Shelah, Proper Forcing, Springer, Berlin, 1984. [12] J. Truss, Sets having caliber $ℵ_1$, in: Logic Colloquium 76, Stud. Logic Found. Math. 87, North-Holland, 1977, 595-612.
Źródło:
Fundamenta Mathematicae; 1994, 144, 1; 55-72
0016-2736
Pojawia się w:
Fundamenta Mathematicae
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
HIROMB, an operational eddy-resolving model for the Baltic Sea
Autorzy:
Funkquist, L.
Powiązania:
https://bibliotekanauki.pl/articles/972865.pdf
Data publikacji:
2001
Wydawca:
Instytut Morski w Gdańsku
Tematy:
HIROMB
forcing
Opis:
HIROMB is a 3-dimensional baroclinic model of the North Sea and the Baltic Sea, designed for daily operational use. The model is mainly developed by Eckhard Kleine at the German Federal Maritime and Hydrographic Agency (BSH) in Hamburg, Germany, and is based on a similar model, running in operational mode at that institution. The operational forecasts at SMHI starled already in 1995 with a daily 24-hour forecast and were later extended to 48 hours. The model is forced by SMHI's operational atmospheric model (HIRLAM), but also by river runoff from an operational hydrological model and wave radiation stress from a wind wave model. The present version of the model is set up on a nested grid, where a 12 nautical mile (nm) grid covers the whole area, while Skagerrak, Kattegat, the Belt Sea and the Baltic Sea are covered with a 1 nm grid. A parallelized version of the model has been developed and runs on a distributed memory parallel computer.
Źródło:
Biuletyn Instytutu Morskiego w Gdańsku; 2001, 28, 2; 7-16
1230-7424
2450-5536
Pojawia się w:
Biuletyn Instytutu Morskiego w Gdańsku
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
HIROMB, an operational eddy-resolving model for the Baltic Sea
Autorzy:
Funkquist, L.
Powiązania:
https://bibliotekanauki.pl/articles/1920629.pdf
Data publikacji:
2001
Wydawca:
Instytut Morski w Gdańsku
Tematy:
HIROMB
forcing
Opis:
HIROMB is a 3-dimensional baroclinic model of the North Sea and the Baltic Sea, designed for daily operational use. The model is mainly developed by Eckhard Kleine at the German Federal Maritime and Hydrographic Agency (BSH) in Hamburg, Germany, and is based on a similar model, running in operational mode at that institution. The operational forecasts at SMHI starled already in 1995 with a daily 24-hour forecast and were later extended to 48 hours. The model is forced by SMHI's operational atmospheric model (HIRLAM), but also by river runoff from an operational hydrological model and wave radiation stress from a wind wave model. The present version of the model is set up on a nested grid, where a 12 nautical mile (nm) grid covers the whole area, while Skagerrak, Kattegat, the Belt Sea and the Baltic Sea are covered with a 1 nm grid. A parallelized version of the model has been developed and runs on a distributed memory parallel computer.
Źródło:
Biuletyn Instytutu Morskiego w Gdańsku; 2001, 28, 2; 7-16
1230-7424
2450-5536
Pojawia się w:
Biuletyn Instytutu Morskiego w Gdańsku
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
The forcing steiner number of a graph
Autorzy:
Santhakumaran, A.
John, J.
Powiązania:
https://bibliotekanauki.pl/articles/743843.pdf
Data publikacji:
2011
Wydawca:
Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:
geodetic number
Steiner number
forcing geodetic number
forcing Steiner number
Opis:
For a connected graph G = (V,E), a set W ⊆ V is called a Steiner set of G if every vertex of G is contained in a Steiner W-tree of G. The Steiner number s(G) of G is the minimum cardinality of its Steiner sets and any Steiner set of cardinality s(G) is a minimum Steiner set of G. For a minimum Steiner set W of G, a subset T ⊆ W is called a forcing subset for W if W is the unique minimum Steiner set containing T. A forcing subset for W of minimum cardinality is a minimum forcing subset of W. The forcing Steiner number of W, denoted by fₛ(W), is the cardinality of a minimum forcing subset of W. The forcing Steiner number of G, denoted by fₛ(G), is fₛ(G) = min{fₛ(W)}, where the minimum is taken over all minimum Steiner sets W in G. Some general properties satisfied by this concept are studied. The forcing Steiner numbers of certain classes of graphs are determined. It is shown for every pair a, b of integers with 0 ≤ a < b, b ≥ 2, there exists a connected graph G such that fₛ(G) = a and s(G) = b.
Źródło:
Discussiones Mathematicae Graph Theory; 2011, 31, 1; 171-181
2083-5892
Pojawia się w:
Discussiones Mathematicae Graph Theory
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
On the forcing geodetic and forcing steiner numbers of a graph
Autorzy:
Santhakumaran, A.
John, J.
Powiązania:
https://bibliotekanauki.pl/articles/743992.pdf
Data publikacji:
2011
Wydawca:
Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:
geodetic number
Steiner number
forcing geodetic number
forcing Steiner number
Opis:
For a connected graph G = (V,E), a set W ⊆ V is called a Steiner set of G if every vertex of G is contained in a Steiner W-tree of G. The Steiner number s(G) of G is the minimum cardinality of its Steiner sets and any Steiner set of cardinality s(G) is a minimum Steiner set of G. For a minimum Steiner set W of G, a subset T ⊆ W is called a forcing subset for W if W is the unique minimum Steiner set containing T. A forcing subset for W of minimum cardinality is a minimum forcing subset of W. The forcing Steiner number of W, denoted by fₛ(W), is the cardinality of a minimum forcing subset of W. The forcing Steiner number of G, denoted by fₛ(G), is fₛ(G) = min{fₛ(W)}, where the minimum is taken over all minimum Steiner sets W in G. The geodetic number g(G) and the forcing geodetic number f(G) of a graph G are defined in [2]. It is proved in [6] that there is no relationship between the geodetic number and the Steiner number of a graph so that there is no relationship between the forcing geodetic number and the forcing Steiner number of a graph. We give realization results for various possibilities of these four parameters.
Źródło:
Discussiones Mathematicae Graph Theory; 2011, 31, 4; 611-624
2083-5892
Pojawia się w:
Discussiones Mathematicae Graph Theory
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Covering of the null ideal may have countable cofinality
Autorzy:
Shelah, Saharon
Powiązania:
https://bibliotekanauki.pl/articles/1204998.pdf
Data publikacji:
1999-06-17
Wydawca:
Polska Akademia Nauk. Instytut Matematyczny PAN
Tematy:
null sets
cardinal invariants of the continuum
iterated forcing
ccc forcing
Opis:
We prove that it is consistent that the covering number of the ideal of measure zero sets has countable cofinality.
Źródło:
Fundamenta Mathematicae; 2000, 166, 1-2; 109-136
0016-2736
Pojawia się w:
Fundamenta Mathematicae
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ł:
Analysis of external factors affecting transport process safety
Autorzy:
Bojar, P.
Knopik, L.
Powiązania:
https://bibliotekanauki.pl/articles/243281.pdf
Data publikacji:
2013
Wydawca:
Instytut Techniczny Wojsk Lotniczych
Tematy:
safety
forcing factor
transport process
Opis:
Transportation systems belong to the category of systems whose operation safety depends on many factors including: technical state of transport means, behavior of people involved in the system operation and maintenance and its environment, and finally the environmental factors. The system environment is referred to as all the elements, which, though not belonging to the system, are closely related to it. The environment, which is of interest for the authors of this paper, is the road infrastructure and atmospheric conditions. Construction solutions of the infrastructure, the road surface type and condition, temperature, visibility, precipitations, and time of day are referred to as external factors whose impact involves changes in safety of the transportation system operation. The impact of external factors can be in different forms and can affect the transport means as well as people involved in the system operation, especially the drivers. The literature provides a concept of excessive sense of a driver’s safety, which can be caused by good road conditions, dry and good road surface, etc. This is of particular importance in case of public transportation systems providing transport services on the territory of a town where the effects of external factors account for nearly 44% of adverse events causes. This study deals with identification of these factors and assessment of their influence on the analysed transportation system safety.
Źródło:
Journal of KONES; 2013, 20, 3; 47-53
1231-4005
2354-0133
Pojawia się w:
Journal of KONES
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A Short Proof for a Lower Bound on the Zero Forcing Number
Autorzy:
Fürst, Maximilian
Rautenbach, Dieter
Powiązania:
https://bibliotekanauki.pl/articles/32083733.pdf
Data publikacji:
2020-02-01
Wydawca:
Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:
zero forcing
girth
Moore bound
Opis:
We provide a short proof of a conjecture of Davila and Kenter concerning a lower bound on the zero forcing number Z(G) of a graph G. More specifically, we show that Z(G) ≥ (g − 2)(δ − 2) + 2 for every graph G of girth g at least 3 and minimum degree δ at least 2.
Źródło:
Discussiones Mathematicae Graph Theory; 2020, 40, 1; 355-360
2083-5892
Pojawia się w:
Discussiones Mathematicae Graph Theory
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Structuring of the safety evaluation model for the road transport system
Autorzy:
Woropay, M.
Bojar, P.
Powiązania:
https://bibliotekanauki.pl/articles/243500.pdf
Data publikacji:
2008
Wydawca:
Instytut Techniczny Wojsk Lotniczych
Tematy:
transport system
folded system
forcing factors
Opis:
The transport system are sociotechnical systems in which the direct realization of the tasks is dealt with by an executive subsystem consisting of the elementary subsystems of a human - a technical object (an operator - a means of transport) type realizing the tasks within the system environment. In respect of a human located within a transport system the most significant criterion in the evaluation of the transports being realized is their safety. The safety level of the task realization is influenced by the risks resulting from the interaction of the forcing factors, affecting an elementary executive subsystem. These factors may be divided into [8]: working, External, antropotechnical. In order to structure safety evaluation model of the road transport system we need to: build the algorithm for evaluating safety of analysed system, establish safety criterion for the system's performance, structure a model using the algorithm of safety evaluation of the system. Due to the complexity of the systems being analysed in the paper, it has been attempted to evaluate the influence of the forcing factors on the safety of this system operation.
Źródło:
Journal of KONES; 2008, 15, 3; 581-590
1231-4005
2354-0133
Pojawia się w:
Journal of KONES
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ł:
On infinite partitions of lines and space
Autorzy:
Erdös, Paul
Jackson, Steve
Mauldin, R.
Powiązania:
https://bibliotekanauki.pl/articles/1205459.pdf
Data publikacji:
1997
Wydawca:
Polska Akademia Nauk. Instytut Matematyczny PAN
Tematy:
transfinite recursion
Martin's Axiom
forcing
geometry
infinite partitions
Opis:
Given a partition P:L → ω of the lines in $ℝ^n$, n ≥ 2, into countably many pieces, we ask if it is possible to find a partition of the points, $Q:ℝ^n → ω$, so that each line meets at most m points of its color. Assuming Martin's Axiom, we show this is the case for m ≥ 3. We reduce the problem for m = 2 to a purely finitary geometry problem. Although we have established a very similar, but somewhat simpler, version of the geometry conjecture, we leave the general problem open. We consider also various generalizations of these results, including to higher dimension spaces and planes.
Źródło:
Fundamenta Mathematicae; 1997, 152, 1; 75-95
0016-2736
Pojawia się w:
Fundamenta Mathematicae
Dostawca treści:
Biblioteka Nauki
Artykuł

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