13 research outputs found
The Complexity of Snake
Snake and Nibbler are two well-known video games in which a snake slithers through a maze and grows as it collects food. During this process, the snake must avoid any collision with its tail. Various goals can be associated with these video games, such as avoiding the tail as long as possible, or collecting a certain amount of food, or reaching some target location. Unfortunately, like many other motion-planning problems, even very restricted variants are computationally intractable. In particular, we prove the NP--hardness of collecting all food on solid grid graphs; as well as its PSPACE-completeness on general grid graphs. Moreover, given an initial and a target configuration of the snake, moving from one configuration to the other is PSPACE-complete, even on grid graphs without food, or with an initially short snake.
Our results make use of the nondeterministic constraint logic framework by Hearn and Demaine, which has been used to analyze the computational complexity of many games and puzzles. We extend this framework for the analysis of puzzles whose initial state is chosen by the player
Reconfiguring Directed Trees in a Digraph
In this paper, we investigate the computational complexity of subgraph
reconfiguration problems in directed graphs. More specifically, we focus on the
problem of determining whether, given two directed trees in a digraph, there is
a (reconfiguration) sequence of directed trees such that for every pair of two
consecutive trees in the sequence, one of them is obtained from the other by
removing an arc and then adding another arc. We show that this problem can be
solved in polynomial time, whereas the problem is PSPACE-complete when we
restrict directed trees in a reconfiguration sequence to form directed paths.
We also show that there is a polynomial-time algorithm for finding a shortest
reconfiguration sequence between two directed spanning trees.Comment: 10 page
Reconfiguration of Time-Respecting Arborescences
An arborescence, which is a directed analogue of a spanning tree in an
undirected graph, is one of the most fundamental combinatorial objects in a
digraph. In this paper, we study arborescences in digraphs from the viewpoint
of combinatorial reconfiguration, which is the field where we study
reachability between two configurations of some combinatorial objects via some
specified operations. Especially, we consider reconfiguration problems for
time-respecting arborescences, which were introduced by Kempe, Kleinberg, and
Kumar. We first prove that if the roots of the initial and target
time-respecting arborescences are the same, then the target arborescence is
always reachable from the initial one and we can find a shortest
reconfiguration sequence in polynomial time. Furthermore, we show if the roots
are not the same, then the target arborescence may not be reachable from the
initial one. On the other hand, we show that we can determine whether the
target arborescence is reachable form the initial one in polynomial time.
Finally, we prove that it is NP-hard to find a shortest reconfiguration
sequence in the case where the roots are not the same. Our results show an
interesting contrast to the previous results for (ordinary) arborescences
reconfiguration problems.Comment: 13 pages, 3 figures, WADS 202
Recommended from our members
SEX DIFFERENCES IN ESTRADIOL SIGNALING IN THE ZEBRA FINCH (TAENIOPYGIA GUTATTA) AUDITORY CORTEX
Although several sex differences have been described in brain structure, function, and development, sex as a biological factor is underrepresented in neuroscience studies. In the mammalian brain, there are sex differences in the mechanism of rapid estradiol actions on neuronal physiology. In the songbird, the brain is a major source of estradiol production, and estradiol rapidly modulates auditory responsiveness through dynamic changes and an unknown receptor mechanism. I set out to determine if there are sex differences in rapid estradiol modulation of auditory cortical activity, as has been shown in other systems. I tested this hypothesis through three aims: 1) to determine whether the identity of interneurons in the auditory regions of the brain differs between the sexes,2) test whether acute, endogenous estradiol production is necessary for auditory responsiveness in both sexes and 3) test whether the membrane estrogen receptor GPER1 is necessary and sufficient to shape auditory-evoked activity in both sexes. I found that male and female estrogen-producing and estrogen-sensitive cells did not differ in coexpression with interneuron subtype markers in auditory cortical regions. I also determined that more regions of the male auditory cortex depend on acute, endogenous estrogen production for auditory-induced gene expression than that of females, indicating that males are more sensitive to acute-synthesis of estrogens than females. Finally, I found that narrow-spiking (NS) neurons in the caudomedial nidopallium are more associated with auditory responses than broad-spiking (BS) neurons in males whereas in females these cell types are similar. GPER1 is necessary for the full auditory responsiveness and coding but only in NS neurons of males, indicating an alternative receptor mechanism in females. In this dissertation, I describe a mechanism by which rapid estrogen modulates auditory responsiveness in males, but females have differences in the reliance on brain derived estradiol as well as receptors that mediate estradiol’s actions. This dissertation provides a framework to study sex differences using a mechanistic approach, and highlights the importance of sex as a biological variable in physiological studies even in brain regions with anatomical similarities
Collected Papers (on Neutrosophic Theory and Applications), Volume VI
This sixth volume of Collected Papers includes 74 papers comprising 974 pages on (theoretic and applied) neutrosophics, written between 2015-2021 by the author alone or in collaboration with the following 121 co-authors from 19 countries: Mohamed Abdel-Basset, Abdel Nasser H. Zaied, Abduallah Gamal, Amir Abdullah, Firoz Ahmad, Nadeem Ahmad, Ahmad Yusuf Adhami, Ahmed Aboelfetouh, Ahmed Mostafa Khalil, Shariful Alam, W. Alharbi, Ali Hassan, Mumtaz Ali, Amira S. Ashour, Asmaa Atef, Assia Bakali, Ayoub Bahnasse, A. A. Azzam, Willem K.M. Brauers, Bui Cong Cuong, Fausto Cavallaro, Ahmet Çevik, Robby I. Chandra, Kalaivani Chandran, Victor Chang, Chang Su Kim, Jyotir Moy Chatterjee, Victor Christianto, Chunxin Bo, Mihaela Colhon, Shyamal Dalapati, Arindam Dey, Dunqian Cao, Fahad Alsharari, Faruk Karaaslan, Aleksandra Fedajev, Daniela Gîfu, Hina Gulzar, Haitham A. El-Ghareeb, Masooma Raza Hashmi, Hewayda El-Ghawalby, Hoang Viet Long, Le Hoang Son, F. Nirmala Irudayam, Branislav Ivanov, S. Jafari, Jeong Gon Lee, Milena Jevtić, Sudan Jha, Junhui Kim, Ilanthenral Kandasamy, W.B. Vasantha Kandasamy, Darjan Karabašević, Songül Karabatak, Abdullah Kargın, M. Karthika, Ieva Meidute-Kavaliauskiene, Madad Khan, Majid Khan, Manju Khari, Kifayat Ullah, K. Kishore, Kul Hur, Santanu Kumar Patro, Prem Kumar Singh, Raghvendra Kumar, Tapan Kumar Roy, Malayalan Lathamaheswari, Luu Quoc Dat, T. Madhumathi, Tahir Mahmood, Mladjan Maksimovic, Gunasekaran Manogaran, Nivetha Martin, M. Kasi Mayan, Mai Mohamed, Mohamed Talea, Muhammad Akram, Muhammad Gulistan, Raja Muhammad Hashim, Muhammad Riaz, Muhammad Saeed, Rana Muhammad Zulqarnain, Nada A. Nabeeh, Deivanayagampillai Nagarajan, Xenia Negrea, Nguyen Xuan Thao, Jagan M. Obbineni, Angelo de Oliveira, M. Parimala, Gabrijela Popovic, Ishaani Priyadarshini, Yaser Saber, Mehmet Șahin, Said Broumi, A. A. Salama, M. Saleh, Ganeshsree Selvachandran, Dönüș Șengür, Shio Gai Quek, Songtao Shao, Dragiša Stanujkić, Surapati Pramanik, Swathi Sundari Sundaramoorthy, Mirela Teodorescu, Selçuk Topal, Muhammed Turhan, Alptekin Ulutaș, Luige Vlădăreanu, Victor Vlădăreanu, Ştefan Vlăduţescu, Dan Valeriu Voinea, Volkan Duran, Navneet Yadav, Yanhui Guo, Naveed Yaqoob, Yongquan Zhou, Young Bae Jun, Xiaohong Zhang, Xiao Long Xin, Edmundas Kazimieras Zavadskas
A Quantitative Genetic Analysis of Craniofacial Variation in Baboons
This dissertation is an explication of baboon craniofacial variation and its genetic basis. Intraspecific variation is the result of input from and complex interactions among genetic information, functional demands, and developmental processes. The relative effect of each of these on craniofacial variation, as well as the degree of inter-trait covariance, determines whether traits can respond to selection and what that response might look like. Using a sample of pedigreed baboons, I quantify craniofacial variation to address specific questions regarding the distribution and magnitude of phenotypic, genetic, and environmental variation patterns. In addition, I identify regions of the genome containing genetic variants contributing to the production of craniofacial variation. Results demonstrate that the genotype-phenotype map for craniofacial variation in this sample is characterized by patterns of inter-trait correlation that are structured by both functional and developmental relationships. Much of the additive genetic variation is likely pleiotropic and contributes to craniofacial variation regionally, rather than globally. The degree to which regions are affected by this genetic variation lacks patterning, indicating that no one particular region is any more evolvable than others. Finally, after accounting for differences in cranial size among individuals, both the magnitude of genetic correlations and the amount of additive genetic variation decreases, which suggests selection for body size played a major role in craniofacial evolution in baboons
Collected Papers (Neutrosophics and other topics), Volume XIV
This fourteenth volume of Collected Papers is an eclectic tome of 87 papers in Neutrosophics and other fields, such as mathematics, fuzzy sets, intuitionistic fuzzy sets, picture fuzzy sets, information fusion, robotics, statistics, or extenics, comprising 936 pages, published between 2008-2022 in different scientific journals or currently in press, by the author alone or in collaboration with the following 99 co-authors (alphabetically ordered) from 26 countries: Ahmed B. Al-Nafee, Adesina Abdul Akeem Agboola, Akbar Rezaei, Shariful Alam, Marina Alonso, Fran Andujar, Toshinori Asai, Assia Bakali, Azmat Hussain, Daniela Baran, Bijan Davvaz, Bilal Hadjadji, Carlos Díaz Bohorquez, Robert N. Boyd, M. Caldas, Cenap Özel, Pankaj Chauhan, Victor Christianto, Salvador Coll, Shyamal Dalapati, Irfan Deli, Balasubramanian Elavarasan, Fahad Alsharari, Yonfei Feng, Daniela Gîfu, Rafael Rojas Gualdrón, Haipeng Wang, Hemant Kumar Gianey, Noel Batista Hernández, Abdel-Nasser Hussein, Ibrahim M. Hezam, Ilanthenral Kandasamy, W.B. Vasantha Kandasamy, Muthusamy Karthika, Nour Eldeen M. Khalifa, Madad Khan, Kifayat Ullah, Valeri Kroumov, Tapan Kumar Roy, Deepesh Kunwar, Le Thi Nhung, Pedro López, Mai Mohamed, Manh Van Vu, Miguel A. Quiroz-Martínez, Marcel Migdalovici, Kritika Mishra, Mohamed Abdel-Basset, Mohamed Talea, Mohammad Hamidi, Mohammed Alshumrani, Mohamed Loey, Muhammad Akram, Muhammad Shabir, Mumtaz Ali, Nassim Abbas, Munazza Naz, Ngan Thi Roan, Nguyen Xuan Thao, Rishwanth Mani Parimala, Ion Pătrașcu, Surapati Pramanik, Quek Shio Gai, Qiang Guo, Rajab Ali Borzooei, Nimitha Rajesh, Jesús Estupiñan Ricardo, Juan Miguel Martínez Rubio, Saeed Mirvakili, Arsham Borumand Saeid, Saeid Jafari, Said Broumi, Ahmed A. Salama, Nirmala Sawan, Gheorghe Săvoiu, Ganeshsree Selvachandran, Seok-Zun Song, Shahzaib Ashraf, Jayant Singh, Rajesh Singh, Son Hoang Le, Tahir Mahmood, Kenta Takaya, Mirela Teodorescu, Ramalingam Udhayakumar, Maikel Y. Leyva Vázquez, V. Venkateswara Rao, Luige Vlădăreanu, Victor Vlădăreanu, Gabriela Vlădeanu, Michael Voskoglou, Yaser Saber, Yong Deng, You He, Youcef Chibani, Young Bae Jun, Wadei F. Al-Omeri, Hongbo Wang, Zayen Azzouz Omar
Gaze-Based Human-Robot Interaction by the Brunswick Model
We present a new paradigm for human-robot interaction based on social signal processing, and in particular on the Brunswick model. Originally, the Brunswick model copes with face-to-face dyadic interaction, assuming that the interactants are communicating through a continuous exchange of non verbal social signals, in addition to the spoken messages. Social signals have to be interpreted, thanks to a proper recognition phase that considers visual and audio information. The Brunswick model allows to quantitatively evaluate the quality of the interaction using statistical tools which measure how effective is the recognition phase. In this paper we cast this theory when one of the interactants is a robot; in this case, the recognition phase performed by the robot and the human have to be revised w.r.t. the original model. The model is applied to Berrick, a recent open-source low-cost robotic head platform, where the gazing is the social signal to be considered