Filters
total: 301
-
Catalog
Search results for: TWIERDZENIE RAMSEYA
-
Twierdzenie - rysunek
Publication -
Polyhedral Ramsey Numbers
PublicationGiven two polygons or polyhedrons P1 and P2, we can transform these figures to graphs G1 and G2, respectively. The polyhedral Ramsey number Rp(G1,G2) is the smallest integer n such that every graph, which represents polyhedron on n vertices either contains a copy of G1 or its complement contains a copy of G2. Using a computer search together with some theoretical results we have established some polyhedral Ramsey numbers, for example...
-
Liczby Ramseya on-line dla różnych klas grafów
PublicationRozpatrujemy grę rozgrywaną na nieskończonej liczbie wierzchołków, w której każda runda polega na wskazaniu krawędzi przez jednego gracza - Budowniczego oraz pokolorowaniu jej przez drugiego gracza - Malarkę na jeden z dwóch kolorów, czerwony lub niebieski. Celem Budowniczego jest zmuszenie Malarki do stworzenia monochromatycznej kopii wcześniej ustalonego grafu H w jak najmniejszej możliwej liczbie ruchów. Zakładamy, że gracze...
-
Dokumentowanie spójności pomiarowej - potwierdzenie miarodajności
PublicationPodstawowymi i niezbędnymi parametrami, które charakteryzują wynik analityczny są spójność pomiarowa i niepewność. Spójność pomiarowa to cecha pomiaru, która pozwala na porównywanie wyników uzyskiwanych w różnych miejscach, o różnym czasie i za pomocą różnych procedur. Aby jedyną przyczyną różnic w wynikach była faktyczna różnica zawartości analitu w próbkach a nie różnica spowodowana zmiennymi warunkami przeprowadzenia pomiarów,...
-
Shannon Capacity and Ramsey Numbers
PublicationRamsey-type theorems are strongly related to some results from information theory. In this paper we present these relations.
-
On-line Ramsey Numbers of Paths and Cycles
PublicationConsider a game played on the edge set of the infinite clique by two players, Builder and Painter. In each round, Builder chooses an edge and Painter colours it red or blue. Builder wins by creating either a red copy of $G$ or a blue copy of $H$ for some fixed graphs $G$ and $H$. The minimum number of rounds within which Builder can win, assuming both players play perfectly, is the \emph{on-line Ramsey number} $\tilde{r}(G,H)$. In...
-
A NOTE ON ON-LINE RAMSEY NUMBERS FOR QUADRILATERALS
PublicationWe consider on-line Ramsey numbers defined by a game played between two players, Builder and Painter. In each round Builder draws an the edge and Painter colors it either red or blue, as it appears. Builder’s goal is to force Painter to create a monochromatic copy of a fixed graph H in as few rounds as possible. The minimum number of rounds (assuming both players play perfectly) is the on-line Ramsey number \widetilde{r}(H) of...
-
Deontologia adwokata kościelnego w procesie o stwierdzenie nieważności małżeństwa
Publication -
Grafo-mania, czyli rzecz o grafach i algorytmach. Twierdzenie o czterech barwach
PublicationPrzedstawiono istotę i historię twierdzenia o 4 barwach.
-
Grafo-mania, czyli rzecz o grafach i algorytmach. Liczby Ramseya
PublicationZdefiniowano liczby Ramseya i wskazano na trudności obliczeniowe ich wyznaczania już przy niewielkich wartościach takich liczb.
-
On some open questions for Ramsey and Folkman numbers
PublicationWe discuss some of our favorite open questions about Ramsey numbers and a related problem on edge Folkman numbers. For the classical two-color Ramsey numbers, we first focus on constructive bounds for the difference between consecutive Ramsey numbers. We present the history of progress on the Ramsey number R(5,5) and discuss the conjecture that it is equal to 43.
-
Apelacja obrońcy węzła małżeńskiego w procesie skróconym o stwierdzenie nieważności małżeństwa
Publication -
Apelacja obrońcy węzła małżeńskiego w procesie zwyczajnym o stwierdzenie nieważności małżeństwa
Publication -
On some ramsey and turan-type numbers for paths and cycles
PublicationUdowodniono, że R(P_3,C_k,C_k)= R(C_k,C_k)= 2k - 1, dla nieparzystych k. Udowodniono, że R(P_4,P_4,C_k) = k + 2 oraz R(P_3,P_5,C_k) = k + 1 dla k > 2.
-
Ramsey numbers for triangles versus almost-complete graphs.
PublicationPokazano, że w każdym krawędziowym pokolorowaniu dwoma kolorami grafu pełnego o 38 wierzchołkach występuje trójkąt w pierwszym kolorze lub podgraf izomorficzny z K_10 - e w drugim kolorze. Stąd otrzymujemy górne oszacowanie R(K_3, K_10 - e) <= 38. Przedstawiamy także pokolorowanie krawędziowe grafu K_36, którego istnienie dowodzi, że R(K_3, K_10 - e) >= 37.
-
On some Zarankiewicz numbers and bipartite Ramsey Numbers for Quadrilateral
PublicationThe Zarankiewicz number z ( m, n ; s, t ) is the maximum number of edges in a subgraph of K m,n that does not contain K s,t as a subgraph. The bipartite Ramsey number b ( n 1 , · · · , n k ) is the least positive integer b such that any coloring of the edges of K b,b with k colors will result in a monochromatic copy of K n i ,n i in the i -th color, for some i , 1 ≤ i ≤ k . If n i = m for all i , then we denote this number by b k ( m )....
-
Analiza fazy tłuszczowej czekolady w celu stwierdzenia jej zafałszowania
PublicationDyrektywa Unii Europejskiej zezwala na obecność w czekoladzie równoważników masła kakaowego w ilości do 5% masy produktu. W pracy badano pięć próbek czekolad w celu stwierdzenia, czy i w jakiej ilości występują w nich tłuszcze typu CBE. Skład triacylogliceroli oznaczano metodę HPLC. W dwóch analizowanych czekoladach obecny był tylko tłuszcz kakaowy. W jednej czekoladzie stwierdzono obecność CBE w ilości kilku procent, przy czym...
-
No-local-broadcasting theorem for multipartite quantum correlations
PublicationWe prove that the correlations present in a multipartite quantum state have an operational quantum character even if the state is unentangled, as long as it does not simply encode a multipartite classical probability distribution. Said quantumness is revealed by the new task of local broadcasting, i.e., of locally sharing preestablished correlations, which is feasible if and only if correlations are stricly classical. Our operational...
-
Generalized solutions of first order partial differential functional inequalities
PublicationW pracy rozważa się zagadnienia początkowo brzegowe dla nieliniowych równań różniczkowo funkcyjnych cząstkowych pierwszego rzędu. Podano dowód jednoznaczności rozwiązań uogólnionych. Oparty jest on na twierdzeniu porównawczym dla nierówności różniczkowo funkcyjnych w sensie Caratheodory'ego. Prezentowane jest twierdzenie o uogólnionych rozwiązaniach nierówności różniczkowo funkcyjnych.
-
Fast rns scaling of signed numbers based on the chinese remainder theorem
PublicationPrzedstawiono architekturę szybkiego skalera resztowego dla liczb ze znakiem dla modułów 5-bitowych opartego na chińskim twierdzeniu o resztach. W architekturze zastosowano wyznaczanie projekcji ortogonalnych przy użyciu funkcji logicznych 5 zmiennych, sumator kodulo m/k oraz wejściowy konwerter do systemu resztowego. Operacja modulo m/k jest wykonywana przy zastosowaniu drzewa 4-operandowych sumatorów modulo 2m/k i końcowego...
-
Two almost homoclinic solutions for second-order perturbed Hamiltonian systems
PublicationW niniejszym artykule badamy problem istnienia rozwiązań prawie homoklinicznych (rozwiązań znikających w nieskończonościach) dla układów Hamiltonowskich drugiego rzędu (układów Newtonowskich) z zaburzeniem. Nasz wynik jest uogólnieniem twierdzenia Rabinowitza-Tanaki o istnieniu rozwiązania homoklinicznego dla układów bez zaburzenia [Math. Z. 206 (1991) 473-499]. O zaburzeniu zakładamy, że jest dostatecznie małe w przestrzeni funkcji...
-
An improved high-speed residue-to-binary converter based on the chinese remainder theorem
Publicationw pracy zaprezentowano nowy szybki konwerter z systemu resztowego do systemu binarnego. Projekcje ortogonalne wyznaczane są przy użyciu funkcji logicznych pięciu zmiennych. Suma projekcji obliczana jest z zastosowaniem drzewa Wallace'a. Wektor sumy i wektor przeniesienia są dzielone na segmenty tak aby liczba reprezentowana łącznie przez obydwa segmenty o młodszych wagach nie przekraczała zakresu systemu resztowego,M. Bity segmentów...
-
A reliable synthesis of discrete-time H-inf control. Part I: basic theorems and J-lossless conjugators
PublicationThe paper gives a basis for solving many problems of numerically reliable synthesis of sub-optimal discrete-time control in H-inf. The approach is based on J-lossless factorisation of the delta-domain chain-scattering description of continuous-time plants being controlled. Relevant properties of poles and zeroes of chain-scattering models are given. Necessary and sufficient conditions for the existence of stabilising J-lossless...
-
FPGA implementation of reverse residue conversion based on the new Chinese Remainder Theorem II- Part I
PublicationW pracy opisano implementację algorytmu konwersji z systemu resztowego do systemu binarnego opartą na nowej formie chińskiego twierdzenia o resztach określanego jako CRT II.Nowa forma CRT nie wymaga operacji modulo M , gdzie M jest zakresem liczbowym systemu resztowego, jednak wymagana jest pewna liczba mnożników. W środowisku FPGA jest zwykle dostępne są mnożniki, stąd mogą być one wykorzystane do realizacji konwertera. Głównym...
-
Bifurkacje z łamaniem symetrii w zagadnieniu różniczkowo-funkcyjnym opisującym nieliniowe deformacje biologicznego klastra: metody wariacyjne
PublicationW pracy doktorskiej badane są matematyczne własności obiektu o elastycznym, wolnym brzegu, który został nazwany biologicznym klastrem. Brzeg klastra umocniony jest przy pomocy elastycznych połączeń z jądrem i jest wypełniony sprężonym gazem. Praca składa się z trzech rozdziałów. Pierwszy z nich ma charakter wprowadzający. Przypomniane są w nim pojęcia i fakty z zakresu analizy funkcjonalnej. Wprowadzone są definicje, twierdzenia...
-
FPGA implementation of reverse residue conversion based on the new Chinese Remainder Theorem II- Part II,- Experimantal results
PublicationW pracy opisano realizację sprzętową konwertera z systemu resztowego do systemu binarnego. Konwerter jest oparty na nowej formie chińskiego twierdzenia o resztach CRT II. Teoretyczne aspekty takiej konwersji przedstawiono w części I. Implementację konwertera wykonano w środowisku Xilinx FPGA. Zaprezentowano ogólną architekturę konwertera, a także opisano realizację wybranych bloków. Podano ilość koniecznych zasobów sprzętowych...
-
Janusz Kozak prof. dr hab. inż.
PeopleJanusz KOZAK Born 04.07.1953 Puck, Poland Intermediate school” Technikum Budowy Okrętów „Conradinum” Gdansk, 1973. Graduated on Faculty of Shipbuilding of Gdańsk University of Technology, Poland, 1978. Employed: From 1978 - Gdynia Shipyard 1978 as designer, from 1980 as a specialist in Chair of Technology in Faculty of Shipbuilding of Gdańsk University of Technology, 1993 as assistant, PhD (1993), “Method for assessment...
-
Ramseyowskie pokolorowanie grafów pełnych
PublicationW rozdziale przedstawiono znane wartości, własności a także oszacowania kla-sycznych i nieklasycznych liczb Ramseya; przedstawiono także przykłady ichzastosowań.
-
Effective residue-to-binary converter with the Chinese Remainder Theorem
PublicationKonwersja liczb z systemu resztowego do systemu binarnego jest podstawową operacją we wszystkich układach cyfrowego przetwarzania sygnałów, które wykorzystują system resztowy. W niniejszej pracy zaproponowano nową metodę konwersji opartą o chińskie twierdzenie o resztach dla modułów 5- i 6-bitowych. Specyficzną cechą nowej metody jest sposób obliczania tzw. współczynnika nadmiaru w formule chińskiego twierdzenia o resztach, co...
-
Stateczność samopodnoszących pełnomorskich platform wiertniczych w fazie eksploatacji
PublicationWspółczynnik bezpieczeństwa platformy Petrobaltic na moment obrotowy (stateczność ogólna) oszacowany przy założeniu, że konstrukcja jest traktowana jako układ słupów połączonych sztywnym pokładem, z korekcją efektów drugiego rzędu. Przemieszczenie poziome pokładu platformy wyznaczone, stosując odpowiedni model MES. Siła krytyczna nogi obliczona przy założeniu jej utwierdzenia w dnie morza. Wpływ odchyłki od idealnej geometrii rur...
-
Wojciech Jędruch dr hab. inż.
People -
Możliwości formalizacji procesów zarządzania przedsięwzięciami z wykorzystaniem teorii zbiorów rozmytych.
PublicationCzęsto w literaturze pojawia się twierdzenie, że zarządzanie przedsięwzięciami jest bardziej sztuką niż planowaną metodą postępowania. Takie stwierdzenie wynika z faktu, że w trakcie prac projektowych podejmowane przez kierownika zespołu decyzje są wynikiem trudnych do planowania procesów, jak np. zmiana składu zespołu (nasz najlepszy programista może zostać ''podkupiony'' przez konkurencyjną firmę). Z tego też powodu wielu...
-
Numerical approximations of parabolic functional differential equations on unbounded domains
PublicationSkonstruowano schematy różnicowe zagadnień początkowych dla nieliniowych parabolicznych równań różniczkowo funkcyjnych. Przedstawiono twierdzenie o oszacowaniu błędu rozwiązań przybliżonych dla równań różnicowo funkcyjnych typu Volterry z niewiadomą funkcją kilku zmiennych. Udowodniono twierdzenie o zbieżności jawnych schematów różnicowych. Podano przykłady numeryczne.
-
Caratheodory solutions to quasi-linear hyperbolic systems of partial differential equations with state dependent delays
PublicationW pracy udowodniono twierdzenie o istnieniu i jednoznaczności rozwiązań oraz o ich ciągłej zależności od warunków początkowych dla układów równań różniczkowych cząstkowych z opóźnionym argumentem, zależnym od funkcji niewiadomej. Posłużono się metodą bicharakterystyk a istnienia dowiedziono stosując twierdzenie Banacha o punkcie stałym.
-
Potwierdzenie uczestnictwa
e-Learning Courses -
A Note on Shannon Capacity for Invariant and Evolving Channels
PublicationIn the paper we discuss the notion of Shannon capacity for invariant and evolving channels. We show how this notion is involved in information theory, graph theory and Ramsey theory.
-
The Conley index, cup-length and bifurcation
PublicationZastosowano strukturę modułu w indeksie kohomologicznym Conleya do dowodu twierdzenia o minimalnej ilości rozwiązań okresowych dla układów Hamiltonowskich. Wykazano też ogólne twierdzenia dotyczące nietrywialności struktury mudułu.
-
A survey on known values and bounds on the Shannon capacity
PublicationIn this survey we present exact values and bounds on the Shannon capacity for different classes of graphs, for example for regular graphs and Kneser graphs. Additionally, we show a relation between Ramsey numbers and Shannon capacity.
-
Systems of differential inequalities with initial time difference.
PublicationPewne twierdzenia porównawcze są formułowane dla takich zagadnień.O funkcji F występującej po prawej stronie nierówności różniczkowej zakłada się, że spełnia własności kwasimonotoniczności. Sformułowanorównież twierdzenia o istnieniu ekstremalnych rozwiązań dla odpowiednich równań różniczkowych pierwszego rzędu z odchylonymi argumentami.
-
Box-splines orthogonal projections.
PublicationUogólniono twierdzenie Sweldensa i Piessensa na pudełkowe funkcje gięte. Podano formułę asymptotyczną dla funkcji o ograniczonej wariacji.
-
Ergodic type theorems for Gaussian systemstwierdzenia typu ergodycznego dla układów gaussowskich
PublicationUdowodniono twierdzenie typu ergodycznego dla zmiennych losowych będących złożeniem zmiennych losowych gaussowskich z funkcjami z odpowiedniej klasy.
-
Periodicity of a sequence of local fixed point indices of iterations
PublicationPraca uogólnia klasyczne twierdzenie Shuba i Sullivana o periodyczności ciągu indeksów punktu stałego iteracji odwzorowań gładkich na szerszą klasę przekształeń.
-
Fixed point theorems for weakly commuting and compatible multi-valued mappings.
PublicationW pracy podano twierdzenia o wspólnych punktach stałych czwórki odwzorowań: dwóch jednowartościowych T i S oraz dwóch wielowartościowych F i G, spełniających nieliniowy uogólniony warunek kontrakcyjny, przy pewnych założeniach dotyczących uogólnionej komutatywności T,S i F,G. W pracy zamieszczono przykłady ilustrujące udowodnione twierdzenia.
-
A new approach to numerical solution of fixed-point problems and its application to delay differential equations
PublicationW pracy rozpatruje się pewne aproksymacje punktu stałego ciągłego operatora A odwzorowującego przestrzeń metryczną w siebie. Wspomniany punkt stały przybliża się tzw. epsilon przybliżonym punktem stałym z przestrzeni skończenie wymiarowej. Udowodnione zostało twierdzenie dające warunki konieczne i dostateczne istnienia punktu stałego w ogólnej przestrzeni metrycznej. Warunki te wyrażone są w terminach epsilon przybliżonego punktu...
-
RNS reverse converter based on the new chinese remainder theorem.
PublicationPrzeanalizowano złożoność układu cyfrowego opartego na nowej odmianie chińskiego twierdzenia o resztach.
-
States of light via reducible quantization.
PublicationRelatywistyczne sformułowanie kwantowania pola opartego o redukowalne reprezentacje kanonicznych związków komutacyjnych. Konstrukcja stanów fokowskich i koherentnych. Analiza automatycznej regularyzacji rozbieżności w podczerwieni. Twierdzenie o granicy termodynamicznej.
-
Mieszanie w klasie niejednorodnych łańcuchów Markowa i kwadratowych operatorów stochastycznych
PublicationRozprawa doktorska poświęcona jest zagadnieniu asymptotycznych własności w klasie nieskończenie wymiarowych niejednorodnych łańcuchów Markowa z czasem dyskretnym oraz w klasie kwadratowych operatorów stochastycznych. W pierwszej kolejności definiowane są różne rodzaje asymptotycznego zachowania (mieszania) niejednorodnych łańcuchów Markowa odpowiadające zbieżności w normowej i mocnej topologii operatorowej oraz omówione są relacje...
-
Dataset of non-isomorphic graphs of the coloring types (K4,K4;n), 1<n<R(4,4)
Open Research DataFor K4 graph, a coloring type (K4,K4;n) is such an edge coloring of the full Kn graph, which does not have the K4 subgraph in the first color (representing by no edges in the graph) or the K4 subgraph in the second color (representing by edges in the graph).The Ramsey number R(4,4) is the smallest natural number n such that for any edge coloring of...
-
Positive solutions of one-dimensional p-Laplacian boundary value problems for fourth-order differential equations with deviating arguments
PublicationPraca dotyczy istnienia dodatnich rozwiązań dla równań różniczkowych rzędu czwartego z warunkami brzegowymi z odchylonymi argumentami. Stosując twierdzenie o punkcie stałym dla stożków podano warunki dostateczne na istnienia takich rozwiązań.
-
Conley type index applied to Hamiltonian inclusions
PublicationPodano dowód istnienia nietrywialnych rozwiązań okresowych dla inkluzji Hamiltonowskich, z potencjałem lokalnie Lipschitzowskim, okresowym, uogólniając klasyczne twierdzenie Ammana- Zehndera. Użyto techniki z teorii indeksu Conley'a dla wielowartościowych potoków w przestrzeni Hilberta.