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ł

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