أثر نظام الميراث على التنمية المستدامة في ضوء رؤية المملكة العربية السعودية 2030م

تناول البحث موضوع أثر الميراث على التنمية المستدامة وفقًا لرؤية المملكة 2030، وقد قسمت البحث إلى مبحثين، المبحث الأول وتناولت فيه التعريف بنظام الميراث في الشريعة الإسلامية، ثم تطرقت إلى ببان أركان الميراث، وأهم شروط استحقاق الإرث، كما تناولت مواضع الميراث التي تجعل وجود الوارث كعدمه، ثم تطرقت إلى أهم الحقوق المتعلقة بالتركة، وبناءً على ذلك فإن هذه الدراسة تهدف إلى التعريف بكل من نظام الميراث والتنمية المستدامة، وبيان أثر نظام الميراث في تحقيق التنمية المستدامة، وذلك بالاعتماد على المنهج الوصفي التحليلي، وقد توصل الباحث إلى العديد من النتائج المهمة التي يمكن أن تجدي نفعًا في البحوث المشابهة، وأهم هذه النتائج تتمثل في أن نظام الميراث له أثر في القضاء على الفقر بجميع أشكاله عبر تحفيزه للمورث على امتلاك الأموال، وحفظ الحقوق لأصحابها، وحماية حقوق الورثة وأنصبتهم من التبديل والتغيير، وأوصت الدراسة بضرورة عمل المنظم على استحداث الأنظمة العدلية التي تتوافق مع رؤية المملكة في التنمية المستدامة وتساعد في تحقيقها، على أن تكون هذه الأنظمة متوافقة مع أحكام الشريعة الإسلامية.

Some Applications of Graph Transformations in Computational Algorithms and Group Automata

In my thesis some of the techniques of graph transformation and its applications are introduced. Some of the basic graph transformations are edge deletion, edge contraction, vertex splitting, inner dual of a planar graph and vertex deletion. Inner dual of a graph does not maintain the orientation of the edges in the original graph. To keep the orientation, various methods and techniques are used. Here the technique called He-Matrix is used. This is designed for any hexagonal system. Here the orientation of the edges is represented by using edge weights. These weights can be 1, 2 or 3 for any edge depending upon its orientation. When a hexagonal system is rotated through angles which are multiple of 60 degrees a new graph is obtained. Considering the edge weights, the inner dual of these graphs may be different. This implies that the different inner duals can be compared on different basis. In this thesis two different problems are solved related to these inner duals. The first problem is to find the orientation where the minimum spanning tree is the smallest. Different theorems and algorithms related to this topic are given. Also two linear time algorithms are presented. The first one finds the required orientation without computing the minimum spanning tree in any of the direction while the second solves the minimum spanning tree problem in linear time, in any of the given orientation. The second problem related to the Inner dualist is finding the orientation that gives the smallest shortest path between any two given points. Again some theorems are proved and a linear time algorithm is discussed that determines the orientation and finds the required shortest path is presented. The next problem is an application of graph transformation and network flows. Here a postman problem is discussed. This postman is working in an office with some constraints. These constraints are analogous to the working of a router, so the results from this part can be applied to finding faulty routers. The information available is the total number of letters sent and received by each person. The objective is to find some bounds on the total number of letters that the postman has lost. This number can be used to measure the performance of our postman. This can also be used to compare the performance of different routers, and also indicate the routers that are faulty. Two different linear time algorithms are given that solve this problem correctly. Moreover, a few theoretical results are also given. The concept of graph transformation in the area of teaching methodologies is also applied. Group theory is among the most difficult courses in undergraduate mathematics. The difficulty in learning arises from the fact that this course is abstract in nature and no pictorial representation or visualization is used in teaching this subject. Groups can be represented in various ways, and one of the representations is group automata. This is very similar to finite automata. Here a group is first transformed into an automaton, which is also abstract in nature. Representation for automata is available in the form of state diagrams and they can be viewed as a labeled graph. Here, the group axioms can be studied easily, and identity element and inverse of any element can be visualized. Also the closure property and the associative law can be understood with the help of such graphs. After the axioms, some of the fundamental theorems in group theory are proved in this model, and it is shown how group transformations can be used to present a proof using graphs, of otherwise abstract concepts and theorems. One such example is analogous to the technique where an equivalent minimum state deterministic finite automata is found for any given deterministic finite automata.