Checking Consistency of Pedigree Information is NP-complete (Preliminary Report)

Consistency checking is a fundamental computational problem in genetics. Given a pedigree and information on the genotypes of some of the individuals in it, the aim of consistency checking is to determine whether these data are consistent with the classic Mendelian laws of inheritance. This problem arose originally from the geneticists' need to filter their input data from erroneous information, and is well motivated from both a biological and a sociological viewpoint. This paper shows that consistency checking is NP-complete, even in the presence of three alleles. Several other results on the computational complexity of problems from genetics that are related to consistency checking are also offered. In particular, it is shown that checking the consistency of pedigrees over two alleles can be done in polynomial time

A Formalization of Linkage Analysis

In this report a formalization of genetic linkage analysis is introduced. Linkage analysis is a computationally hard biomathematical method, which purpose is to locate genes on the human genome. It is rooted in the new area of bioinformatics and no formalization of the method has previously been established. Initially, the biological model is presented. On the basis of this biological model we establish a formalization that enables reasoning about algorithms used in linkage analysis. The formalization applies both for single and multi point linkage analysis. We illustrate the usage of the formalization in correctness proofs of central algorithms and optimisations for linkage analysis. A further use of the formalization is to reason about alternative methods for linkage analysis. We discuss the use of MTBDDs and PDGs in linkage analysis, since they have proven efficient for other computationally hard problems involving large state spaces. We conclude that none of the techniques discussed are directly applicable to linkage analysis, however further research is needed in order to investigated whether a modified version of one or more of these are applicable

A Formalization of Linkage Analysis

In this report a formalization of genetic linkage analysis is introduced. Linkage analysis is a computationally hard biomathematical method, which purpose is to locate genes on the human genome. It is rooted in the new area of bioinformatics and no formalization of the method has previously been established. Initially, the biological model is presented. On the basis of this biological model we establish a formalization that enables reasoning about algorithms used in linkage analysis. The formalization applies both for single and multi point linkage analysis. We illustrate the usage of the formalization in correctness proofs of central algorithms and optimisations for linkage analysis. A further use of the formalization is to reason about alternative methods for linkage analysis. We discuss the use of MTBDDs and PDGs in linkage analysis, since they have proven efficient for other computationally hard problems involving large state spaces. We conclude that none of the techniques discussed are directly applicable to linkage analysis, however further research is needed in order to investigated whether a modified version of one or more of these are applicable

Enhanced Fatty Acid Oxidation and FATP4 Protein Expression after Endurance Exercise Training in Human Skeletal Muscle

FATP1 and FATP4 appear to be important for the cellular uptake and handling of long chain fatty acids (LCFA). These findings were obtained from loss- or gain of function models. However, reports on FATP1 and FATP4 in human skeletal muscle are limited. Aerobic training enhances lipid oxidation; however, it is not known whether this involves up-regulation of FATP1 and FATP4 protein. Therefore, the aim of this project was to investigate FATP1 and FATP4 protein expression in the vastus lateralis muscle from healthy human individuals and to what extent FATP1 and FATP4 protein expression were affected by an increased fuel demand induced by exercise training. Eight young healthy males were recruited to the study. All subjects were non smokers and did not participate in regular physical activity (<1 time per week for the past 6 months, VO2peak 3.4±0.1 l O2 min−1). Subjects underwent an 8 week supervised aerobic training program. Training induced an increase in VO2peak from 3.4±0.1 to 3.9±0.1 l min−1 and citrate synthase activity was increased from 53.7±2.5 to 80.8±3.7 µmol g−1 min−1. The protein content of FATP4 was increased by 33%, whereas FATP1 protein content was reduced by 20%. Interestingly, at the end of the training intervention a significant association (r2 = 0.74) between the observed increase in skeletal muscle FATP4 protein expression and lipid oxidation during a 120 min endurance exercise test was observed. In conclusion, based on the present findings it is suggested that FATP1 and FATP4 proteins perform different functional roles in handling LCFA in skeletal muscle with FATP4 apparently more important as a lipid transport protein directing lipids for lipid oxidation